Seguir
Peter Franek
Peter Franek
Afiliação desconhecida
Nenhum email confirmado
Título
Citado por
Citado por
Ano
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
552003
Robust Satisfiability of Systems of Equations
P Franek, M Krčál
Journal of the ACM 62 (4), 26:1--26:19, 2015
232015
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
182016
Effective topological degree computation based on interval arithmetic
P Franek, S Ratschan
Mathematics of Computation 84 (293), 1265-1290, 2015
152015
Satisfiability of systems of equations of real analytic functions is quasi-decidable
P Franek, S Ratschan, P Zgliczynski
Mathematical Foundations of Computer Science 2011: 36th International …, 2011
152011
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
122018
Generalized Dolbeault sequences in Parabolic geometry
P Franek
Journal of Lie Theory 18 (4), 757-775, 2007
122007
Generalized Verma module homomorphisms in singular character
P Franek
Archivum Mathematicum 42 (5), 229-240, 2006
102006
Several Dirac Operator in parabolic geometry
P Franek
arXiv preprint arXiv:0708.1244, 2007
72007
On computability and triviality of well groups
P Franek, M Krcal
International Symposium on Computational Geometry 31, 842-856, 2015
62015
Dirac operator in two variables from the viewpoint of parabolic geometry
P Franek
Advances in Applied Clifford Algebras 17, 469-480, 2007
52007
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
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
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
32018
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
32018
Safety verification by interval based quantified constraint solving
P Franek, J Kurátko, S Ratschan
SCAN 2016, 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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20