@inproceedings{4fbab2dd48db4b82a7e9d4096f6ce6e5,
title = "On the chordality of polynomial sets in triangular decomposition in top-down style∗ ",
abstract = "In this paper the chordal graph structures of polynomial sets appearing in triangular decomposition in top-down style are studied when the input polynomial set has a chordal associated graph. We prove that the associated graph of one specific triangular set computed in any algorithm for triangular decomposition in top-down style is a subgraph of the chordal graph of the input polynomial set and that all the polynomial sets, including all the computed triangular sets, appearing in one specific algorithm for triangular decomposition in top-down style (Wang{\textquoteright}s method) have associated graphs which are subgraphs of the chordal graph of the input polynomial set.",
keywords = "Chordal graph, Top-down style, Triangular decomposition, Wang{\textquoteright}s method",
author = "Chenqi Mou and Yang Bai",
note = "Publisher Copyright: {\textcopyright} 2018 Association for Computing Machinery.; 43rd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2018 ; Conference date: 16-07-2018 Through 19-07-2018",
year = "2018",
month = jul,
day = "11",
doi = "10.1145/3208976.3208997",
language = "英语",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
publisher = "Association for Computing Machinery ",
pages = "287--294",
booktitle = "ISSAC 2018 - Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation",
address = "美国",
}