Quantifier Elimination over Real Closed Fields

Více o knize

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.