Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
From MaRDI portal
Publication:2907329
DOI10.1007/978-3-642-31374-5_19zbMath1360.68959arXiv1205.6285OpenAlexW1927398404WikidataQ59590601 ScholiaQ59590601MaRDI QIDQ2907329
Russell J. Bradford, James H. Davenport, David J. Wilson
Publication date: 7 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1205.6285
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
Lazard-style CAD and Equational Constraints, Conormal spaces and Whitney stratifications, Using machine learning to improve cylindrical algebraic decomposition, Truth table invariant cylindrical algebraic decomposition, Cylindrical algebraic decomposition with equational constraints, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
Uses Software