Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Wersja papierowa
Autor:
Schultz Claudia
Wydawnictwo:
OmniScriptum GmbH & Co. KGISBN: 978-38-364-1306-0
Format: 17.0x24.4cm
Liczba stron: 128
Oprawa: Miękka
Wydanie: 2007 r.
Język: angielski
Dostępność: dostępny
401,80 zł
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.