Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. However, it has a worst case complexity doubly exponential in the size of the input, which is often encountered in practice...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Mathematics in computer science Ročník 13; číslo 4; s. 461 - 488
Hlavní autoři:	Huang, Zongyan, England, Matthew, Wilson, David J., Bridge, James, Davenport, James H., Paulson, Lawrence C.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cham Springer International Publishing 01.12.2019 Springer Nature B.V
Témata:	Algebra Algorithms Artificial intelligence Complexity Computer Science Decomposition Heuristic Machine learning Mathematics Mathematics and Statistics Preconditioning Software Support vector machines Gröbner Basis Computer Algebra Parameter Selection 68W30 (Symbolic Computation and Algebraic Computation) Symbolic Computation Support Vector Machine 68T05 (Learning and Adaptive Systems) Machine Learning Cylindrical Algebraic Decomposition
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!

Buďte první, kdo okomentuje tento záznam!