Quantifier Elimination over Real Closed Fields

Mathematical Basis, Solution Techniques, Practical Integrations

Autori

• Ralf Möller
• Claudia Schultz

Parametri

• 124 pagine
• 5 ore di lettura

• Matematica

Maggiori informazioni sul libro

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.

Lingua: Inglese

Pubblicato: 2012

(In brossura)