15 citations · 17 across the 13 of their papers we have counts for
6 papers · 1 filter
Two-Dimensional Billiards Are Turing Complete
Eva Miranda, Isaac Ramos
We show that two-dimensional billiard systems can simulate universal Turing machines. Billiards serve as idealized models of particle motion with elastic reflections and arise natu…
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…
Turing complete Navier-Stokes steady states via cosymplectic geometry
Søren Dyhr, Ángel González-Prieto, Eva Miranda +1
In this article, we construct stationary solutions to the Navier-Stokes equations on certain Riemannian -manifolds that exhibit Turing completeness, in the sense that they are c…
Cosymplectic Chern--Hamilton conjecture
Søren Dyhr, Ángel González-Prieto, Eva Miranda +1
In this paper, we study the Chern-Hamilton energy functional on compact cosymplectic manifolds, fully classifying in dimension 3 those manifolds admitting a critical compatible met…
Topological Kleene Field Theories as a model of computation
Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas
In this article, we establish the foundations of a computational field theory, which we term Topological Kleene Field Theory (TKFT), inspired by Stephen Kleene's seminal work on pa…
Which singular tangent bundles are isomorphic?
Eva Miranda, Pablo Nicolás
Logarithmic and -tangent bundles provide a versatile framework for addressing singularities in geometry. Introduced by Deligne and Melrose, these modified bundles resolve singul…