42 citations · 109 across the 13 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable
Daniel S. Graça, Ning Zhong
In many applications one is interested in finding the stability regions (basins of attraction) of some stationary states (attractors). In this paper we show that one cannot compute…
cs.CC2014★ 26 cited
Computational complexity of solving polynomial differential equations over unbounded domains
Amaury Pouly, Daniel S. Graça
In this paper we investigate the computational complexity of solving ordinary differential equations (ODEs) over \emph{unbounded time domains}, where is a vec…