˜Aœ generic projection operator for partial cylindrical algebraic decomposition

Abstract: "This paper provides a starting point for generic quantifier elimination by partial cylindrical algebraic decomposition (PCAD). On input of a first-order formula over the reals generic PCAD outputs a theory and a quantifier-free formula. The theory is a set of negated equations in the...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Seidl, Andreas (VerfasserIn)
Weitere Verfasser:	Sturm, Thomas (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau Fakultät für Mathematik und Informatik / Universität 2003
Schriftenreihe:	MIP 2003,01
Schlagworte:	Decomposition (Mathematics) > Predicate calculus
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!