Suivre
Peter Franek
Peter Franek
Affiliation inconnue
Aucune adresse e-mail validée
Titre
Citée par
Citée par
Année
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
582003
Robust Satisfiability of Systems of Equations
P Franek, M Krčál
Journal of the ACM 62 (4), 26:1--26:19, 2015
232015
Effective topological degree computation based on interval arithmetic
P Franek, S Ratschan
Mathematics of Computation 84 (293), 1265-1290, 2015
202015
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
192016
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
162011
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
142018
Generalized Dolbeault sequences in Parabolic geometry
P Franek
Journal of Lie Theory 18 (4), 757-775, 2007
142007
Generalized Verma module homomorphisms in singular character
P Franek
Archivum Mathematicum 42 (5), 229-240, 2006
112006
Several Dirac Operator in parabolic geometry
P Franek
arXiv preprint arXiv:0708.1244, 2007
82007
Dirac operator in two variables from the viewpoint of parabolic geometry
P Franek
Advances in Applied Clifford Algebras 17, 469-480, 2007
72007
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
62018
On computability and triviality of well groups
P Franek, M Krcal
International Symposium on Computational Geometry 31, 842-856, 2015
62015
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
42018
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
42013
Safety verification by interval based quantified constraint solving
P Franek, J Kurátko, S Ratschan
Proc. SCAN, 107, 2016
22016
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
22011
Quasi-decidability of a Fragment of the Analytic First-order Theory of Real Numbers
P FRANEK, S RATSCHAN, P ZGLICZYNSKI
12012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20