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

DOI10.1145/1837934.1837953zbMATH Open1321.68525OpenAlexW1969185522MaRDI QIDQ2946522FDOQ2946522

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

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

zbMATH Keywords

quantifier eliminationsimplificationTarski formulas

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

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

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)