Quantifier elimination and cylindrical algebraic decomposition

Author(s)

• Caviness, Bob F.
• Johnson, J. R. (Jeremy R.)

Bibliographic Information

Quantifier elimination and cylindrical algebraic decomposition

B.F. Caviness and J.R. Johnson (eds.)

（Texts and monographs in symbolic computation）

Springer, c1998

Note

Includes bibliographical references and index

Details

• NCID: BA35813461
• ISBN:
  • 3211827943
• LCCN: 96043590
• Country Code: au
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Wien ; New York
• Pages/Volumes: xix, 431 p.
• Size: 25 cm
• Classification:
  • LCC : QA155.7.E4
  • DC21 : 512
• Subject Headings:
  • LCSH : Algebra -- Data processing
  • LCSH : Decomposition method -- Data processing
  • LCSH : Algorithms
• Parent Bibliography ID:
  • BA20803475