{"product_id":"quantifier-elimination-over-real-closed-fields-mathematical-basis-solution-techniques-practical-integrations-paperback","title":"Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eClaudia Schultz\u003c\/b\u003e (Author), \u003cb\u003eRalf Moeller\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 128\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.27 x 9.61 x 6.69 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e June 18, 2007\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":48429663486201,"sku":"9783836413060","price":91.76,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/2a8ExlFaEU9783836413060.webp?v=1779440100","url":"https:\/\/bookscloud.io\/products\/quantifier-elimination-over-real-closed-fields-mathematical-basis-solution-techniques-practical-integrations-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}