Pouly, Amaury
- Explicit Error Bounds for Carleman Linearization
2017/11/07 by Marcelo Forets, Amaury Pouly, Forets, Marcelo +1 · 9 citations
Computer Science · Mathematics · Physics and Astronomy · #Advanced Fiber Laser Technologies #FOS: Electrical engineering #FOS: Mathematics #Numerical Analysis (math.NA) #Numerical methods for differential equations #Polynomial and algebraic computation #Systems and Control (eess.SY) #electronic engineering #information engineering
- Polynomial Invariants for Affine Programs
2018/02/06 by Ehud Hrushovski, Joël Ouaknine, Hrushovski, Ehud +5 · 5 citations
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #cs.DM #cs.LO #math.AG
- A Survey on Analog Models of Computation
2018/05/14 by Olivier Bournez, Amaury Pouly, Bournez, Olivier +1 · 2 citations
Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO
- Reachability in Dynamical Systems with Rounding
2020/09/28 by Christel Baier, Florian Funke, Baier, Christel +15 · 2 citations
Engineering · Computer Science · #Architecture and Computational Design #Artificial Intelligence in Games #Music Technology and Sound Studies
- The Membership Problem for Hypergeometric Sequences with Rational Parameters
2022/02/15 by Klara Nosan, Amaury Pouly, Nosan, Klara +5 · 2 citations
Computer Science · Mathematics · #Analytic Number Theory Research #FOS: Computer and information sciences #History and Theory of Mathematics #Logic in Computer Science (cs.LO) #Polynomial and algebraic computation #Symbolic Computation (cs.SC)