Items related to Quantifier Elimination over Real Closed Fields- Mathematical...
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations - Softcover
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.
"synopsis" may belong to another edition of 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 title" may belong to another edition of this title.
Search results for Quantifier Elimination over Real Closed Fields- Mathematical...
Stock Image
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X
ISBN 13: 9783836413060
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783836413060_new
Quantity: Over 20 available
Stock Image
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by
VDM Verlag Dr. Mueller e.K. 2007-06-18, 2007
ISBN 10: 383641306X
ISBN 13: 9783836413060
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783836413060
Quantity: 10 available
Stock Image
Quantifier Elimination over Real Closed Fields Mathematical Basis, Solution Techniques, Practical Integrations
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783836413060
Quantity: Over 20 available
Stock Image
Quantifier Elimination over Real Closed Fields Mathematical Basis, Solution Techniques, Practical Integrations
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783836413060
Quantity: Over 20 available
Stock Image
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X
ISBN 13: 9783836413060
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783836413060
Quantity: Over 20 available
Stock Image
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X
ISBN 13: 9783836413060
New
Softcover
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783836413060
Quantity: 2 available
Seller Image
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 598300138
Quantity: Over 20 available
Stock Image
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by
VDM Verlag Dr. Mueller e.K., 2007
ISBN 10: 383641306X
ISBN 13: 9783836413060
Used
Paperback
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA790383641306X6
Quantity: 1 available