Black-box/white-box simplification and applications to quantifier elimination
From MaRDI portal
Publication:2946522
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
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (5)
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
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Black-box/white-box simplification and applications to quantifier elimination
