A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
No abstract available.
Related papers
- Characterizing Algebraic Invariants by Differential Radical Invariants TACAS 2014
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations SAS 2014
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels VMCAI 2004
- Machine Checked Proofs and Programs in Algebraic Combinatorics CPP 2025
- Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools OOPSLA 2025
- Fuzzi: a three-level logic for differential privacy ICFP 2019
- Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy PLDI 2026
- Symbolic computation of differential equivalences POPL 2016