Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD

Symbolic Computation algorithms and their implementation in computer algebra systems often contain choices which do not affect the correctness of the output but can significantly impact the resources required: such choices can benefit from having them made separately for each problem via a machine l...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Mathematics in computer science Jg. 18; H. 3
Hauptverfasser:	del Río, Tereso, England, Matthew
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.10.2024
Schlagworte:	Computer Science Mathematics Mathematics and Statistics 68W30 Cylindrical algebraic decomposition 68T05 Machine learning Classification Regression Data augmentation Symbolic computation
ISSN:	1661-8270, 1661-8289
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!