Clustering in the Lazard method for cylindrical algebraic decomposition
From MaRDI portal
Publication:6536598
DOI10.1145/3637529.3637533MaRDI QIDQ6536598
Author name not available (Why is that?)
Publication date: 13 May 2024
Published in: (Search for Journal in Brave)
No records found.
This page was built for publication: Clustering in the Lazard method for cylindrical algebraic decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536598)