Better answers to real questions

Abstract : We consider existential problems over the reals. Extended quanti-fier 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 for the quadratic case 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.
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2016, 74, pp.255 - 275. 〈10.1016/j.jsc.2015.07.002〉
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01388720
Contributeur : Thomas Sturm <>
Soumis le : lundi 14 novembre 2016 - 17:21:26
Dernière modification le : lundi 20 novembre 2017 - 15:14:02

Identifiants

Collections

Citation

Marek Košta, Thomas Sturm, Andreas Dolzmann. Better answers to real questions. Journal of Symbolic Computation, Elsevier, 2016, 74, pp.255 - 275. 〈10.1016/j.jsc.2015.07.002〉. 〈hal-01388720〉

Partager

Métriques

Consultations de la notice

109