Enhancements to Lazard's method for cylindrical algebraic decomposition

DOI10.1007/978-3-030-60026-6_8OpenAlexW3097843181MaRDI QIDQ2110211

Could not fetch data.

Publication date: 21 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-60026-6_8

Mathematics Subject Classification ID

Could not fetch data.