Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bournez, Olivier, Núñez, Alonso
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Symbolic Computation Computational Complexity Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs
von: Bournez, Olivier
Veröffentlicht: (2026)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Quantifier Elimination Meets Treewidth
von: Wu, Hao, et al.
Veröffentlicht: (2026)

Identity Testing for Radical Expressions
von: Balaji, Nikhil, et al.
Veröffentlicht: (2022)

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
von: Bournez, Olivier, et al.
Veröffentlicht: (2024)

Measuring robustness of dynamical systems. Relating time and space to length and precision
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
von: Vompa, Enrico, et al.
Veröffentlicht: (2026)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
von: Vu, Thi Xuan
Veröffentlicht: (2025)

Power Term Polynomial Algebra for Boolean Logic
von: Sansone, Emanuele, et al.
Veröffentlicht: (2026)

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields
von: Dwivedi, Ashish, et al.
Veröffentlicht: (2024)

Set Descriptive Complexity of Solvable Functions
von: Gozzi, Riccardo, et al.
Veröffentlicht: (2024)

Solving unification in the description logic $\mathcal{FL}_\bot$
von: Morawska, Barbara, et al.
Veröffentlicht: (2024)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
von: Kop, Cynthia, et al.
Veröffentlicht: (2025)

A New Bound on Cofactors of Sparse Polynomials
von: Nahshon, Ido, et al.
Veröffentlicht: (2023)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

Access Hoare Logic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2025)

Automatic Generation of Polynomial Symmetry Breaking Constraints
von: Erascu, Madalina, et al.
Veröffentlicht: (2026)

Hilbert's Nullstellensatz is in the Counting Hierarchy
von: Andrews, Robert, et al.
Veröffentlicht: (2026)

Matrices with displacement structure: a deterministic approach for linear systems and nullspace bases
von: Khichane, Sara, et al.
Veröffentlicht: (2026)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
von: Garg, Abhibhav, et al.
Veröffentlicht: (2025)

Modular composition & polynomial GCD in the border of small, shallow circuits
von: Andrews, Robert, et al.
Veröffentlicht: (2025)

Fast interpolation and multiplication of unbalanced polynomials
von: Giorgi, Pascal, et al.
Veröffentlicht: (2024)

Constant-Depth Arithmetic Circuits for Linear Algebra Problems
von: Andrews, Robert, et al.
Veröffentlicht: (2024)

Fast polynomial computations with space constraints
von: Grenet, Bruno
Veröffentlicht: (2025)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

A Theoretical Review on Solving Algebra Problems
von: Yu, Xinguo, et al.
Veröffentlicht: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
von: Gerdes, Wout, et al.
Veröffentlicht: (2024)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
von: Li, Xiakun, et al.
Veröffentlicht: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

Trinomials and Deterministic Complexity Limits for Real Solving
von: Boniface, Emma, et al.
Veröffentlicht: (2022)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
von: Desmond, Harry
Veröffentlicht: (2026)

Pseudo-Complex Quantifier Elimination
von: Faroß, Nicolas, et al.
Veröffentlicht: (2026)

One-Parametric Presburger Arithmetic has Quantifier Elimination
von: Mansutti, Alessio, et al.
Veröffentlicht: (2025)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Rings with common division, common meadows and their conditional equational theories
von: Bergstra, Jan A, et al.
Veröffentlicht: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
von: Wang, Zhonghan
Veröffentlicht: (2024)

Saturating Sorting without Sorts
von: Georgiou, Pamina, et al.
Veröffentlicht: (2024)

A Local Search Algorithm for MaxSMT(LIA)
von: He, Xiang, et al.
Veröffentlicht: (2024)

OSVAuto: automatic proofs about functional specifications in OS verification
von: Wu, Yulun, et al.
Veröffentlicht: (2024)

Nominal Equational Rewriting and Narrowing
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2025)