nach oben

Erschienen in:

Open Access 03.04.2019

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

verfasst von: Zongyan Huang, Matthew England, David J. Wilson, James Bridge, James H. Davenport, Lawrence C. Paulson

Titel: Using Machine Learning to Improve Cylindrical Algebraic Decomposition
verfasst von: Zongyan Huang
Matthew England
David J. Wilson
James Bridge
James H. Davenport
Lawrence C. Paulson
Publikationsdatum: 03.04.2019
Verlag: Springer International Publishing
Erschienen in: Mathematics in Computer Science / Ausgabe 4/2019
Print ISSN: 1661-8270
Elektronische ISSN: 1661-8289
DOI: https://doi.org/10.1007/s11786-019-00394-8