Peter Franek

According to our database, Peter Franek authored at least 12 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Solving equations and optimization problems with uncertainty.

Peter Franek, Marek Krcál, Hubert Wagner

J. Appl. Comput. Topol., 2018

Proving the existence of loops in robot trajectories.

Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin

Int. J. Robotics Res., 2018

Computing Simplicial Representatives of Homotopy Group Elements.

Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev

Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018

2017

Computing simplicial representatives of homotopy group element.

Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev

CoRR, 2017

2016

Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers.

Peter Franek, Stefan Ratschan, Piotr Zgliczynski

J. Autom. Reason., 2016

2015

Effective topological degree computation based on interval arithmetic.

Peter Franek, Stefan Ratschan

Math. Comput., 2015

Cohomotopy groups capture robust properties of zero sets.

Peter Franek, Marek Krcál

CoRR, 2015

On Computability and Triviality of Well Groups.

Peter Franek, Marek Krcál

Proceedings of the 31st International Symposium on Computational Geometry, 2015

2014

Robust Satisfiability of Systems of Equations.

Peter Franek, Marek Krcál

Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 2014

2013

Symmetries of Quasi-Values.

Ales Antonin Kubena, Peter Franek

Proceedings of the Algorithmic Game Theory - 6th International Symposium, 2013

2012

Shapley's Game Value Axiomatic with restricted symmetry

Ales Antonin Kubena, Peter Franek

CoRR, 2012

2011

Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable.

Peter Franek, Stefan Ratschan, Piotr Zgliczynski

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011