Quantifier Elimination over Real Closed Fields

More about the book

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.