Daniel Silva Graça

Available identifiers

zbMath Open graca.daniel-silvaMaRDI QIDQ1426050

List of research outcomes

Publication	Date of Publication	Type
Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines	2023-09-13	Paper
A continuous characterization of PSPACE using polynomial ordinary differential equations	2023-06-07	Paper
Characterizing time computational complexity classes with polynomial differential equations	2023-03-09	Paper
Computing the exact number of periodic orbits for planar flows	2022-08-29	Paper
Computability of limit sets for two-dimensional flows	2022-03-22	Paper
Computability of Differential Equations	2022-01-26	Paper
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable	2021-11-18	Paper
Robustness of non-computability	2021-09-30	Paper
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable	2020-02-19	Paper
Computability of ordinary differential equations	2018-09-06	Paper
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length	2018-05-17	Paper
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length (Journal version)	2017-12-19	Paper
On the functions generated by the general purpose analog computer	2017-11-16	Paper
Computing geometric Lorenz attractors with arbitrary precision	2017-02-13	Paper
Computing with polynomial ordinary differential equations	2016-09-01	Paper
Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains	2016-05-25	Paper
Computational complexity of solving polynomial differential equations over unbounded domains	2016-03-31	Paper
An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable	2016-01-28	Paper
On the complexity of solving initial value problems	2015-03-27	Paper
Computability, noncomputability, and hyperbolic systems	2015-03-26	Paper
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems	2013-08-05	Paper
Computation with perturbed dynamical systems	2013-07-24	Paper
Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer	2013-05-28	Paper
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach	2013-05-03	Paper
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs	2013-05-03	Paper
Computability in planar dynamical systems	2012-11-15	Paper
The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited	2012-10-11	Paper
Computability and Dynamical Systems	2012-09-05	Paper
Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains	2011-08-17	Paper
Robust Computations with Dynamical Systems	2010-09-03	Paper
Computational bounds on polynomial differential equations	2009-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q3639060	2009-10-28	Paper
Computing Domains of Attraction for Planar Dynamics	2009-10-22	Paper
Computability, noncomputability and undecidability of maximal intervals of IVPs	2009-05-27	Paper
Computability with polynomial differential equations	2008-04-28	Paper
Polynomial differential equations compute all real computable functions on computable compact intervals	2007-07-04	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
New Computational Paradigms	2006-01-11	Paper
Some recent developments on Shannon's General Purpose Analog Computer	2005-02-16	Paper
Analog computers and recursive functions over the reals.	2004-03-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniel Silva Graça