An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
From MaRDI portal
Publication:5168474
DOI10.1007/978-3-319-02297-0_17zbMath1411.68209OpenAlexW2161761977MaRDI QIDQ5168474
Hiroyuki Higuchi, Hirokazu Anai, Hidenao Iwane
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
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
Applied Algebraic Geometry in Model Based Design for Manufacturing ⋮ Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms
Uses Software
This page was built for publication: An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
