- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Quantifier Elimination over Real Closed Fields
Mathematical Basis, Solution Techniques, Practical Integrations
Ralf Möller, Claudia Schultz
Livre broché | Anglais
72,45 €
+ 144 points
Description
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.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 124
- Langue:
- Anglais
Caractéristiques
- EAN:
- 9783639406634
- Date de parution :
- 09-05-12
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 152 mm x 229 mm
- Poids :
- 190 g
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.