An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification

DOI10.1007/978-3-319-02297-0_17MaRDI QIDQ5168474zbMATH OpenOpenAlexFDO

Authors Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai

Publication date 7 July 2014

Published in Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2324/1430844

Mathematics Subject Classification ID

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

Recommendations

• Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
• Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
• Quantifier elimination for a class of exponential polynomial formulas
• Quantifier elimination for real algebra -- the quadratic case and beyond
• scientific article; zbMATH DE number 1302474

Cited in

(3)

• A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
• Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
• Applied Algebraic Geometry in Model Based Design for Manufacturing

Describes a project that uses

Uses Software

• QEPCAD

This page was built for publication: An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification

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