Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations
Abstract elided by the publisher.
Related papers
- Synthesis for Polynomial Lasso Programs VMCAI 2014
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) VMCAI 2021
- Formal verification of semi-algebraic sets and real analytic functions CPP 2021
- Polynomial invariant generation for non-deterministic recursive programs PLDI 2020
- Simple Linear Loops: Algebraic Invariants and Applications POPL 2025
- The Essence of Generalized Algebraic Data Types POPL 2024
- Characterizing Algebraic Invariants by Differential Radical Invariants TACAS 2014
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets VMCAI 2015