Quantifier Elimination over Real Closed Fields

Mathematical Basis, Solution Techniques, Practical Integrations

Autor*innen

• Ralf Möller
• Claudia Schultz

Parameter

• 124 Seiten
• 5 Lesestunden

• Mathematik

Mehr zum Buch

Focusing on the quantifier elimination problem in real closed fields, this work explores its relevance to description logics, particularly in extending systems to handle default concrete domains for non-linear multivariate equations. It includes a comprehensive literature overview of mathematical tools for assessing the satisfiability of non-linear multivariate inequalities. Additionally, the authors briefly discuss practical applications and present a prototype implementation that demonstrates how these concepts are utilized in real-world scenarios.

• Sprache: Englisch
• Erscheinungsdatum: 2012
• Einband: Paperback