2 papers
math.SG2026
Computable functions as Reeb flows
Kai Cieliebak, Ángel González-Prieto, Eva Miranda
We prove that, given any contact -manifold and any computable function , there exists a defining contact form and a Poincaré section of…
math.DS2025
Universality in computable dynamical systems: Old and new
Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas
The relationship between computational models and dynamics has captivated mathematicians and computer scientists since the earliest conceptualizations of computation. Recently, thi…