Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

From MaRDI portal
Publication:2879312

DOI10.1007/978-3-319-10515-4_4zbMath1350.68293arXiv1401.6310OpenAlexW1485955744WikidataQ59590581 ScholiaQ59590581MaRDI QIDQ2879312

Marc Moreno Maza, Changbo Chen, Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson

Publication date: 8 September 2014

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.6310




Related Items


Uses Software