Quantifier elimination and cylindrical algebraic decomposition
By: B.F. Caviness, J.R. Johnson (eds.).
Contributors: Caviness, Bob F.; Johnson, J. R.
Series: Texts and monographs in symbolic computation,
Publisher: Springer
Published: 1998
Place of publication: Wien; New York
Language: eng
Number of pages: 431
Subjects: Algebra -- Data processing -- Congresses.; Decomposition method -- Data processing -- Congresses.; Algorithms -- Congresses.
Other titles: Quantifier elimination
Notes: Includes bibliographical references (p. [393]-419) and index.
Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria.