
Quantifier Elimination over Real Closed Fields
Mathematical Basis, Solution Techniques, Practical Integrations
VDM Verlag Dr. Müller
1st Edition
Published on 16. July 2007
Book
Paperback/Softback
124 pages
978-3-8364-1306-0 (ISBN)
Description
This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of description logic systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application examples are handled with a prototype implementation.
More details
Edition
1., Aufl.
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 24 cm
Width: 17 cm
Thickness: 7 mm
Weight
218 gr
ISBN-13
978-3-8364-1306-0 (9783836413060)
Schweitzer Classification