Cargando…

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 important property on sparsity of variables. On the other hand, we find that the current impleme...

Descripción completa

Detalles Bibliográficos
Autor principal: Chen, Changbo
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7340895/
http://dx.doi.org/10.1007/978-3-030-52200-1_3