Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides

Documenti analoghi

• Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs
  di: Bournez, Olivier
  Pubblicazione: (2026)
• Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
  di: Blanc, Manon, et al.
  Pubblicazione: (2023)
• Quantifier Elimination Meets Treewidth
  di: Wu, Hao, et al.
  Pubblicazione: (2026)
• Identity Testing for Radical Expressions
  di: Balaji, Nikhil, et al.
  Pubblicazione: (2022)
• Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
  di: Bournez, Olivier, et al.
  Pubblicazione: (2024)