Clustering in the Lazard method for cylindrical algebraic decomposition

DOI10.1145/3637529.3637533MaRDI QIDQ6536598zbMATH OpenFDO

Authors Tereso del Río, AmirHosein Sadeghimanesh, Matthew England

Publication date 13 May 2024

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites work

• Positivity problems for low-order linear recurrence sequences

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)