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

Name: Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations:
Price: 58.97 USD
Availability: InStock
ISBN: 9783836413060

ISBN-10: 383641306X

ISBN-13: 9783836413060

Edition: 2007

Authors: Claudia Schultz, Ralf Moeller

List price: $76.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $58.97

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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.

Book details

List price: $76.00
Copyright year: 2007
Publisher: Vdm Verlag Dr Mueller E K
Binding: Paperback
Pages: 128
Language: English