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
21 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
13 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 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
7 2018 On computability and triviality of well groups P Franek, M Krcal
International Symposium on Computational Geometry 31, 842-856, 2015
6 2015 Dirac operator in two variables from the viewpoint of parabolic geometry P Franek
Advances in Applied Clifford Algebras 17, 469-480, 2007
6 2007 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 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 