8 citations · 8 across the 5 of their papers we have counts for
5 papers
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…
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…
Machine learning for risk assessment in gender-based crime
Ángel González-Prieto, Antonio Brú, Juan Carlos Nuño +1
Gender-based crime is one of the most concerning scourges of contemporary society. Governments worldwide have invested lots of economic and human resources to radically eliminate t…