ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
Abstract elided by the publisher.
Related papers
- Computing Solutions for Systems of Multivariate Ordinary Differential Equations in Rocq CPP 2026
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021
- Efficient Syntax-Driven Lumping of Differential Equations TACAS 2016
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023
- NNV 2.0: The Neural Network Verification Tool CAV 2023
- The Poincaré-Bendixson theorem in Isabelle/HOL CPP 2020
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations CAV 2019
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024