Lazard's CAD exploiting equality constraints

DOI10.1145/3377006.3377020OpenAlexW2994770365MaRDI QIDQ5060838

Scott McCallum, Unnamed Author, Gregory Sankaran, James H. Davenport

Publication date: 11 January 2023

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3377006.3377020

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Lazard-style CAD and Equational Constraints