Peter Franek
Peter Franek
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
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
502003
Robust Satisfiability of Systems of Equations
P Franek, M Krčál
Journal of the ACM 62 (4), 26:1--26:19, 2015
212015
Quasi-decidability of a fragment of the first-order theory of real numbers
P Franek, S Ratschan, P Zgliczynski
Journal of Automated Reasoning 57 (2), 157-185, 2016
162016
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
152011
Effective topological degree computation based on interval arithmetic
P Franek, S Ratschan
Mathematics of Computation 84 (293), 1265-1290, 2015
132015
Generalized Dolbeault sequences in Parabolic geometry
P Franek
Journal of Lie Theory 18 (4), 757-775, 2007
112007
Generalized Verma module homomorphisms in singular character
P Franek
Archivum Mathematicum 42 (5), 229-240, 2006
102006
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
72018
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
Computing simplicial representatives of homotopy group elements
M Filakovský, P Franek, U Wagner, S Zhechev
Journal of applied and computational topology 2 (3), 177-231, 2018
52018
Dirac operator in two variables from the viewpoint of parabolic geometry
P Franek
Advances in Applied Clifford Algebras 17 (3), 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 (3), 297-330, 2018
4*2018
Persistence of zero sets
P Franek, M Krčál
arXiv preprint arXiv:1507.04310, 2015
3*2015
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
22018
Symmetries of quasi-values
AA Kubena, P Franek
International Symposium on Algorithmic Game Theory, 159-170, 2013
22013
Safety Verification By Interval Based Quantified Constraint Solving
P Franek, J Kurátko, S Ratschan
SCAN 2016, 107, 2016
12016
Quasi-decidability of a Fragment of the Analytic First-order Theory of Real Numbers
P FRANEK, S RATSCHAN, P ZGLICZYNSKI
12012
Correlation between seepage activity and micro seismicity on the Vestnesa Ridge, NW-Svalbard continental margin
P Domel, S Singhroha, AA Plaza-Faverola, VSN Schlindwein, P Franek, ...
AGU Fall Meeting Abstracts 2020, S021-0009, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20