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

Celý popis

Podrobná bibliografia

Vydané v:	Mathematics in computer science Ročník 18; číslo 3
Hlavní autori:	del Río, Tereso, England, Matthew
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cham Springer International Publishing 01.10.2024
Predmet:	Computer Science Mathematics Mathematics and Statistics 68W30 Cylindrical algebraic decomposition 68T05 Machine learning Classification Regression Data augmentation Symbolic computation
ISSN:	1661-8270, 1661-8289
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!