Hochschulschrift | Online-Publikation
Algorithmic strategies for applicable real quantifier elimination
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Passau, Univ., Diss., 2000
- Schlagwort
-
Quantorenelimination
- Urheber
-
Dolzmann, Andreas
- URN
-
urn:nbn:de:bvb:739-opus-64
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
- Dolzmann, Andreas
Ähnliche Objekte (12)
Transfer function synthesis without quantifier elimination
Quantifier elimination in second-order predicate logic
Quantifier elimination for quasi-real closed fields
Automatically generating loop invariants using quantifier elimination
Wittgenstein's Elimination of Identity for Quantifier-free logic
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 1
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 2
New concepts for real quantifier elimination by virtual substitution
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Quantifier elimination over real closed fields : mathematical basis, solution techniques, practical integrations
Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination
Transfer function synthesis without quantifier elimination
Quantifier elimination in second-order predicate logic
Quantifier elimination for quasi-real closed fields
Automatically generating loop invariants using quantifier elimination
Wittgenstein's Elimination of Identity for Quantifier-free logic
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 1
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 2
New concepts for real quantifier elimination by virtual substitution
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Quantifier elimination over real closed fields : mathematical basis, solution techniques, practical integrations
Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination
Transfer function synthesis without quantifier elimination
Quantifier elimination in second-order predicate logic
Quantifier elimination for quasi-real closed fields
Automatically generating loop invariants using quantifier elimination
Wittgenstein's Elimination of Identity for Quantifier-free logic
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 1
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 2
New concepts for real quantifier elimination by virtual substitution
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Quantifier elimination over real closed fields : mathematical basis, solution techniques, practical integrations