Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple
Attributed to:
Embedding Machine Learning within Quantifier Elimination Procedures
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-41258-6_25
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85082134248
Type: Book Chapter
Book Title: Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings (2020)
Page Reference: 330-333