Better Answers to Real Questions

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2015-01
Hauptverfasser:	Kosta, Marek, Sturm, Thomas, Dolzmann, Andreas
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science Computer Science - Symbolic Computation Post-processing Real numbers
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!