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

Claudia Schultz, Ralf Moeller

ISBN 10: 383641306X / ISBN 13: 9783836413060

Published by VDM Verlag Dr. Mueller e.K. 2007-06-18, 2007

About this Item

Seller Inventory # 6666-IUK-9783836413060

Bibliographic Details

• Title: Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
• Publisher: VDM Verlag Dr. Mueller e.K. 2007-06-18
• Publication Date: 2007
• Language: English
• ISBN 10: 383641306X
• ISBN 13: 9783836413060
• Binding: Paperback
• Condition: New

About this title

Synopsis

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.