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...

Full description

Bibliographic Details

Published in:	Mathematics in computer science Vol. 18; no. 3
Main Authors:	del Río, Tereso, England, Matthew
Format:	Journal Article
Language:	English
Published:	Cham Springer International Publishing 01.10.2024
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!