3 papers
cs.RO2017
Proving the existence of loops in robot trajectories
Simon Rohou, Peter Franek, Clement Aubry +1
This paper presents a reliable method to verify the existence of loops along the uncertain trajectory of a robot, based on proprioceptive measurements only, within a bounded-error…
cs.CG2017
Computing simplicial representatives of homotopy group elements
Marek Filakovsky, Peter Franek, Uli Wagner +1
A central problem of algebraic topology is to understand the homotopy groups of a topological space . For the computational version of the problem, it is well known tha…
math.DG2007
Several Dirac Operator in parabolic geometry
Peter Franek
In this thesis, we show the existence of a sequence of differential operators starting with with the Dirac operator in k Clifford variables, , where $D_i=\sum_j e…