Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Better Answers to Real Questions

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-01248053
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Wednesday, December 23, 2015 - 2:43:14 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM

Links full text

Identifiers

  • HAL Id : hal-01248053, version 1
  • ARXIV : 1501.05098

Collections

`

Citation

Marek Kosta, Thomas Sturm, Andreas Dolzmann. Better Answers to Real Questions. 2015. ⟨hal-01248053⟩

Share

Metrics

Record views

385