42 citations · 161 across the 23 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.NA2017★ 10 cited
Explicit Error Bounds for Carleman Linearization
Marcelo Forets, Amaury Pouly
We revisit the method of Carleman linearization for systems of ordinary differential equations with polynomial right-hand sides. This transformation provides an approximate lineari…
math.CA2017★ 6 cited
A Universal Ordinary Differential Equation
Olivier Bournez, Amaury Pouly
An astonishing fact was established by Lee A. Rubel (1981): there exists a fixed non-trivial fourth-order polynomial differential algebraic equation (DAE) such that for any positiv…
cs.CC2017
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine +2
The \emph{Orbit Problem} consists of determining, given a linear transformation on , together with vectors and , whether the orbit of under repeated ap…