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

Schultz, Claudia; Moeller, Ralf

Couverture souple

ISBN 10 : 383641306X ISBN 13 : 9783836413060

Editeur : VDM Verlag Dr. Mueller E.K., 2007

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.

A propos du livre

Présentation de l'éditeur

Revision with unchanged content. 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.

Biographie de l'auteur

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.

Détails de l'édition

• Éditeur: VDM Verlag Dr. Mueller E.K.
• Date d'édition: 2007
• Langue: anglais
• ISBN 10: 383641306X
• ISBN 13: 9783836413060
• Reliure: Broché
• Nombre de pages: 128
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible