| 书目名称 | Quantifier Elimination and Cylindrical Algebraic Decomposition |
| 编辑 | Bob F. Caviness,Jeremy R. Johnson |
| 视频video | |
| 概述 | The book serves as an introduction and survey of the field of algorithmic quantifier elimination |
| 丛书名称 | Texts & Monographs in Symbolic Computation |
| 图书封面 |  |
| 描述 | 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. |
| 出版日期 | Conference proceedings 1998 |
| 关键词 | Algebraic Computation; Symbolic Computation; Symbolisches Rechnen; Variable; algorithms; calculus; complex |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-7091-9459-1 |
| isbn_softcover | 978-3-211-82794-9 |
| isbn_ebook | 978-3-7091-9459-1Series ISSN 0943-853X Series E-ISSN 2197-8409 |
| issn_series | 0943-853X |
| copyright | Springer-Verlag/Wien 1998 |
发表于 2025-3-21 16:28:45
