Trending Bestseller

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

No reviews yet Write a Review
Paperback / softback
18 June 2007
RRP: $77.10
$75.56
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
This work investigates the quantifier elimination problem in real closed fieldswith respect to the application in description logics. The motivation for theinvestigation in this topic is mainly based on the demand for an extension ofdescription logic systems to support a default concrete domain for non-linearmultivariate equations and inequations. The authors provide a literatureoverview that summarizes main mathematical tools for checking whether aset of non-linear multivariate (in-)equatins is satisfiable (quantifier eliminationproblem). The authors shortly describe how application examples are handledwith a prototype implementation.

You Can Find This Title In

    Product Details
    ISBN-13
    9783836413060
    Author
    Claudia Schultz
    Publisher
    KS OmniScriptum Publishing
    Published
    18 June 2007
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    RRP: $77.10
    $75.56
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

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

    RRP: $77.10
    $75.56

    Description

    This work investigates the quantifier elimination problem in real closed fieldswith respect to the application in description logics. The motivation for theinvestigation in this topic is mainly based on the demand for an extension ofdescription logic systems to support a default concrete domain for non-linearmultivariate equations and inequations. The authors provide a literatureoverview that summarizes main mathematical tools for checking whether aset of non-linear multivariate (in-)equatins is satisfiable (quantifier eliminationproblem). The authors shortly describe how application examples are handledwith a prototype implementation.

    You Can Find This Title In

      This Title Is Categorised As