Cargando…

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks

Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry. Previous studies have shown that machine learning (ML) based approaches may outperform traditional heuristic ones on selecting the best variable ordering when the number of variables [Formula: s...

Descripción completa

Detalles Bibliográficos
Autores principales: Chen, Changbo, Zhu, Zhangpeng, Chi, Haoyu
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7340889/
http://dx.doi.org/10.1007/978-3-030-52200-1_28

Ejemplares similares