Cylindrical algebraic decompositions for boolean combinations
From MaRDI portal
Publication:2963225
DOI10.1145/2465506.2465516zbMath1359.68327arXiv1304.7603WikidataQ59590588 ScholiaQ59590588MaRDI QIDQ2963225
James H. Davenport, Matthew England, Scott McCallum, Russell J. Bradford, David J. Wilson
Publication date: 10 February 2017
Published in: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1304.7603
68W30: Symbolic computation and algebraic computation
Uses Software