Better Answers to Real Questions

Košta, Marek; Sturm, Thomas; Dolzmann, Andreas

doi:10.1016/j.jsc.2015.07.002

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_2129477_3

DetailsSummary

Released

Journal Article

Better Answers to Real Questions

MPS-Authors

/persons/resource/persons127668

Košta, Marek
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons73108

Sturm, Thomas
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Košta, M., Sturm, T., & Dolzmann, A. (2016). Better Answers to Real Questions. Journal of Symbolic Computation, 74, 255-275. doi:10.1016/j.jsc.2015.07.002.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0026-A93B-2

Abstract

We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engineering. So far, the answers produced by these implementations included infinitesimal and infinite numbers, which are hard to interpret in practice. We introduce here a post-processing procedure to convert, for fixed parameters, all answers into standard real numbers. The relevance of our procedure is demonstrated by application of our implementation to various examples from the literature, where it significantly improves the quality of the results.