Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations - Softcover

Schultz, Claudia; Moeller, Ralf

Softcover

ISBN 10: 383641306X ISBN 13: 9783836413060

Publisher: VDM Verlag Dr. Mueller e.K., 2007

Synopsis

Quantifier Elimination Over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations 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.

About this title

Product 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.

About the Author:

Dr. Ralf Moeller is Professor for Computer Science at the Hamburg University of Technology (TUHH) since 2003. In 1996, he received the degree Dr. rer. nat. from the University of Hamburg. Claudia Schultz, Master of Science, Dipl.-Phys., Dipl.-Inform. Claudia Schultz, Master of Science, Dipl.-Phys., Dipl.-Inform.

Claudia Schultz, Master of Science, Dipl.-Phys., Dipl.-Inform.: Studies of Computer Science at Bowling Green State University, Studies of Physics and Computer Science at Universit‰t Hamburg. Software-Engineer and IT-Consultant at T-Systems GEI GmbH, Hamburg. Analyselead at Otto (GmbH & Co KG), Hamburg.

About this edition

• Publisher: VDM Verlag Dr. Mueller e.K.
• Publication date: 2007
• ISBN 10: 383641306X
• ISBN 13: 9783836413060
• Binding: Paperback
• Number of pages: 128