Peter Franek

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 9

Top Topics

Bilateral Symmetry

Interval Arithmetic

Continuous Optimization Problems

Top Venues

J. Appl. Comput. Topol.

Discret. Comput. Geom.

Publications

Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev
Computing Simplicial Representatives of Homotopy Group Elements. SODA (2018)
Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev
Computing simplicial representatives of homotopy group elements. J. Appl. Comput. Topol. 2 (3-4) (2018)
Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin
Proving the existence of loops in robot trajectories. Int. J. Robotics Res. 37 (12) (2018)
Peter Franek, Marek Krcál, Hubert Wagner
Solving equations and optimization problems with uncertainty. J. Appl. Comput. Topol. 1 (3-4) (2018)
Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin
Proving the existence of loops in robot trajectories. CoRR (2017)
Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev
Computing simplicial representatives of homotopy group element. CoRR (2017)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers. J. Autom. Reason. 57 (2) (2016)
Peter Franek, Marek Krcál
On Computability and Triviality of Well Groups. Discret. Comput. Geom. 56 (1) (2016)
Peter Franek, Marek Krcál, Hubert Wagner
Solving equations and optimization problems with uncertainty. CoRR (2016)
Peter Franek, Stefan Ratschan
Effective topological degree computation based on interval arithmetic. Math. Comput. 84 (293) (2015)
Peter Franek, Marek Krcál
Robust Satisfiability of Systems of Equations. J. ACM 62 (4) (2015)
Peter Franek, Marek Krcál
On Computability and Triviality of Well Groups. CoRR (2015)
Peter Franek, Marek Krcál
Cohomotopy groups capture robust properties of zero sets. CoRR (2015)
Peter Franek, Marek Krcál
On Computability and Triviality of Well Groups. SoCG (2015)
Peter Franek, Marek Krcál
Robust Satisfiability of Systems of Equations. SODA (2014)
Peter Franek, Marek Krcál
Robust Satisfiability of Systems of Equations. CoRR (2014)
Ales Antonin Kubena, Peter Franek
Symmetries of Quasi-Values. SAGT (2013)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers. CoRR (2013)
Peter Franek, Stefan Ratschan
Effective Topological Degree Computation Based on Interval Arithmetic CoRR (2012)
Ales Antonin Kubena, Peter Franek
Shapley's Game Value Axiomatic with restricted symmetry CoRR (2012)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable. MFCS (2011)