Cover Image

Quantifier elimination and cylindrical algebraic decomposition /

Show other versions (1)
Bibliographic Details
Other Authors: Caviness, Bob F., Johnson, J. R. (Jeremy R.)
Format: Book
Language:English
Published: Wien ; New York : Springer, [1998]
Series:Texts and monographs in symbolic computation.
Subjects:
Algebra > Data processing > Congresses.
Decomposition method > Data processing > Congresses.
Algorithms > Congresses.
Description
Item Description:Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria.
Physical Description:xix, 431 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3211827943 (pbk. : acid-free paper)
ISSN:0943-853X