Black-box/white-box simplification and applications to quantifier elimination

DOI10.1145/1837934.1837953zbMath1321.68525OpenAlexW1969185522MaRDI QIDQ2946522

Christopher W. Brown, Adam Wojciech Strzeboński

Publication date: 17 September 2015

Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1837934.1837953

zbMATH Keywords

quantifier eliminationsimplificationTarski formulas

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Stability analysis for discrete biological models using algebraic methods ⋮ Fast simplifications for Tarski formulas based on monomial inequalities ⋮ Computing with Tarski formulas and semi-algebraic sets in a web browser ⋮ Multistationarity in the space of total concentrations for systems that admit a monomial parametrization ⋮ From simplification to a partial theory solver for non-linear real polynomial constraints

Uses Software

• DIFFALG
• AIDA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Smooth and algebraic invariants of a group action: Local and global constructions
• Differential invariants of a Lie group action: syzygies on a generating set
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces