- The realization of input-output maps using bialgebras Robert L. Grossman Richard G. Larson Wed 26 November 2025
- On Rational Recursion for Holonomic Sequences Bertrand Teguia Tabuguia James Worrell Tue 18 June 2024
- Infinitesimal and tangential 16-th Hilbert problem on zero-cycles J.~L. Bravo P. Mardesic D. Novikov J. Pontigo-Herrera Thu 18 April 2024
- Invariant ideals of local analytic and formal vector fields Niclas Kruff Fri 12 April 2024
- Rolle models in the real and complex world Dmitry Novikov Sergei Yakovenko Mon 27 November 2023
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- A counterexample to the periodic tiling conjecture Rachel Greenfeld Terence Tao Sun 26 March 2023
- Reachability in Injective Piecewise Affine Maps Faraz Ghahremani Edon Kelmendi Joel Ouaknine Fri 24 March 2023
- What's Decidable about Discrete Linear Dynamical Systems Toghrul Karimov Edon Kelmendi Joel Ouaknine James Worrell Fri 23 September 2022
- Groups, Orders, and Dynamics B. Deroin A. Navas C. Rivas Tue 19 April 2022
- C^r-Lohner algorithm D. Wilczak P. Zgliczyński Mon 26 July 2021
- Computer Assisted Proofs of Attracting Invariant Tori for ODEs Maciej J. Capinski Emmanuel Fleurantin Jason D. Mireles James Mon 26 July 2021
- Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis Mohamed Amin Ben Sassi Sriram Sankaranarayanan Xin Chen Erika Abraham Wed 20 January 2021
- Invariant varieties for polynomial dynamical systems Alice Medvedev Thomas Scanlon Wed 20 January 2021
- Elimination of unknowns for systems of algebraic differential-difference equations Wei Li Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Mon 19 October 2020
- Invariants for Continuous Linear Dynamical Systems Shaull Almagor Edon Kelmendi Joel Ouaknine James Worrell Mon 27 April 2020
- Solving difference equations in sequences: Universality and Undecidability Gleb Pogudin Thomas Scanlon Michael Wibmer Fri 10 April 2020
Library Size: 13G (17 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
