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.
Search Result 1
Cover Image
Published 1998
Connect to the full text of this electronic book
eBook
Show all versions (2)