- The continuous Skolem-Pisot problem Paul C. Bell Jean-Charles Delvenne Raphael M. Jungers Vincent D. Blondel Mon 02 October 2023
- Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes Michele Boreale Sat 25 March 2023
- Characterizing positively invariant sets: Inductive and topological methods Khalil Ghorbal Andrew Sogokon Tue 21 February 2023
- Simple Differentially Definable Functions Antonio Jiménez-Pastor Fri 01 July 2022
- Computational complexity of solving polynomial differential equations over unbounded domains Amaury Pouly Daniel S. Graça Wed 17 February 2021
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
