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á bibliografie

Vydáno v:	Mathematics in computer science Ročník 18; číslo 3
Hlavní autoři:	del Río, Tereso, England, Matthew
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cham Springer International Publishing 01.10.2024
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!