-
Chapter and Conference Paper
Chordality Preserving Incremental Triangular Decomposition and Its Implementation
In this paper, we first prove that the incremental algorithm for computing triangular decompositions proposed by Chen and Moreno Maza in ISSAC’ 2011 in its original form preserves chordality, which is an impo...
-
Chapter and Conference Paper
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 heu...
-
Chapter and Conference Paper
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
We present new functionalities that we have added to the RegularChains library in Maple to efficiently compute irredundant triangular decompositions. We report on the implementation of different strategies. Our e...