First-principles study of the electronic structure and exchange interactions in bcc europium I Turek, J Kudrnovský, M Diviš, P Franek, G Bihlmayer, S Blügel Physical review B 68 (22), 224431, 2003 | 58 | 2003 |
Robust Satisfiability of Systems of Equations P Franek, M Krčál Journal of the ACM 62 (4), 26:1--26:19, 2015 | 23 | 2015 |
Effective topological degree computation based on interval arithmetic P Franek, S Ratschan Mathematics of Computation 84 (293), 1265-1290, 2015 | 20 | 2015 |
Quasi-decidability of a fragment of the first-order theory of real numbers P Franek, S Ratschan, P Zgliczynski Journal of Automated Reasoning 57, 157-185, 2016 | 19 | 2016 |
Satisfiability of systems of equations of real analytic functions is quasi-decidable P Franek, S Ratschan, P Zgliczynski International Symposium on Mathematical Foundations of Computer Science, 315-326, 2011 | 16 | 2011 |
Proving the existence of loops in robot trajectories S Rohou, P Franek, C Aubry, L Jaulin The International Journal of Robotics Research 37 (12), 1500-1516, 2018 | 14 | 2018 |
Generalized Dolbeault sequences in Parabolic geometry P Franek Journal of Lie Theory 18 (4), 757-775, 2007 | 14 | 2007 |
Generalized Verma module homomorphisms in singular character P Franek Archivum Mathematicum 42 (5), 229-240, 2006 | 11 | 2006 |
Several Dirac Operator in parabolic geometry P Franek arXiv preprint arXiv:0708.1244, 2007 | 8 | 2007 |
Dirac operator in two variables from the viewpoint of parabolic geometry P Franek Advances in Applied Clifford Algebras 17, 469-480, 2007 | 7 | 2007 |
Computing simplicial representatives of homotopy group elements M Filakovský, P Franek, U Wagner, S Zhechev Journal of applied and computational topology 2, 177-231, 2018 | 6 | 2018 |
On computability and triviality of well groups P Franek, M Krcal International Symposium on Computational Geometry 31, 842-856, 2015 | 6 | 2015 |
Quasi-decidability of a fragment of the analytic first-order theory of real numbers, 2012 P Franek, S Ratschan, P Zgliczynski Preprint in http://arxiv. org/abs/1309.6280, 0 | 5 | |
Solving equations and optimization problems with uncertainty P Franek, M Krčál, H Wagner Journal of Applied and Computational Topology 1, 297-330, 2018 | 4* | 2018 |
Computing simplicial representatives of homotopy group elements M Filakovsky, P Franek, U Wanger, S Zhechev Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete …, 2018 | 4 | 2018 |
Persistence of zero sets P Franek, M Krčál arXiv preprint arXiv:1507.04310, 2015 | 4* | 2015 |
Symmetries of quasi-values AA Kubena, P Franek Algorithmic Game Theory: 6th International Symposium, SAGT 2013, Aachen …, 2013 | 4 | 2013 |
Safety verification by interval based quantified constraint solving P Franek, J Kurátko, S Ratschan Proc. SCAN, 107, 2016 | 2 | 2016 |
Hyperplane section of the complex Cayley plane as the homogeneous space K Pazourek, V Tuček, P Franek Commentationes Mathematicae Universitatis Carolinae 52 (4), 535-549, 2011 | 2 | 2011 |
Quasi-decidability of a Fragment of the Analytic First-order Theory of Real Numbers P FRANEK, S RATSCHAN, P ZGLICZYNSKI | 1 | 2012 |