Cylindrical algebraic decomposition with equational constraints
From MaRDI portal
Publication:2307622
DOI10.1016/j.jsc.2019.07.019zbMath1432.68599arXiv1903.08999MaRDI QIDQ2307622
James H. Davenport, Matthew England, Russell J. Bradford
Publication date: 24 March 2020
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.08999
68Q25: Analysis of algorithms and problem complexity
68W30: Symbolic computation and algebraic computation
Uses Software