Quantifier Elimination and Cylindrical Algebraic Decomposition

Beschreibung

George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski’s landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.
The book serves as an introduction and survey of the field of algorithmic quantifier elimination

Autor*in

Bob F. Caviness

Themen in »Quantifier Elimination and Cylindrical Algebraic Decomposition«

Algebraic Computation Symbolic Computation Symbolisches Rechnen Variable algorithms calculus complexity geometry proof

Stimmen zu »Quantifier Elimination and Cylindrical Algebraic Decomposition«

"... The book is a nearly complete presentation of the history of the developement of CAD algorithms and its applications, and is suitable for the beginner as well as the expert ...” Zentralblatt für Mathematik
()

Details

Link teilen