Quantifier elimination and cylindrical algebraic decomposition

著者

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

書誌事項

Quantifier elimination and cylindrical algebraic decomposition

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

（Texts and monographs in symbolic computation）

Springer, c1998

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA35813461
• ISBN:
  • 3211827943
• LCCN: 96043590
• 出版国コード: au
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Wien ; New York
• ページ数/冊数: xix, 431 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA155.7.E4
  • DC21 : 512
• 件名:
  • LCSH : Algebra -- Data processing
  • LCSH : Decomposition method -- Data processing
  • LCSH : Algorithms
• 親書誌ID:
  • BA20803475