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

DOI10.1145/1837934.1837953MaRDI QIDQ2946522zbMATH OpenOpenAlexFDO

Authors Christopher W. Brown, Adam 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)

Recommendations

• Fast simplifications for Tarski formulas based on monomial inequalities
• Fast simplifications for Tarski formulas
• Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
• scientific article; zbMATH DE number 1262462
• Simple CAD construction and its applications

Cites work

• scientific article; zbMATH DE number 3762913 (Why is no real title available?)
• scientific article; zbMATH DE number 45257 (Why is no real title available?)
• scientific article; zbMATH DE number 3490133 (Why is no real title available?)
• scientific article; zbMATH DE number 2038305 (Why is no real title available?)
• scientific article; zbMATH DE number 2142844 (Why is no real title available?)
• scientific article; zbMATH DE number 3015982 (Why is no real title available?)
• scientific article; zbMATH DE number 802623 (Why is no real title available?)
• Differential algebra for derivations with nontrivial commutation rules
• Differential invariants of a Lie group action: syzygies on a generating set
• Differential invariants of conformal and projective surfaces
• Generating differential invariants
• Higher order contact of submanifolds of homogeneous spaces
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Moving coframes. II: Regularization and theoretical foundations
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Rational invariants of a group action. Construction and rewriting
• Smooth and algebraic invariants of a group action: Local and global constructions

Cited in

(6)

• Multistationarity in the space of total concentrations for systems that admit a monomial parametrization
• Fast simplifications for Tarski formulas based on monomial inequalities
• Stability analysis for discrete biological models using algebraic methods
• scientific article; zbMATH DE number 1262424 (Why is no real title available?)
• Computing with Tarski formulas and semi-algebraic sets in a web browser
• From simplification to a partial theory solver for non-linear real polynomial constraints

Describes a project that uses

Uses Software

• DIFFALG
• AIDA

This page was built for publication: Black-box/white-box simplification and applications to quantifier elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946522)