On the Chordality of Simple Decomposition in Top-Down Style-Reference-Cited by-同舟云学术

On the Chordality of Simple Decomposition in Top-Down Style

Published:2020 Issue: Volume: Page:138-152
ISSN:0302-9743
Container-title:Mathematical Aspects of Computer and Information Sciences
language:
Short-container-title:

Author:

Mou Chenqi,Lai Jiahua

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-43120-4_12

Reference30 articles.

1. Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symbolic Comput. 28(1–2), 105–124 (1999)

2. Bächler, T.: Counting solutions of algebraic systems via triangular decomposition. Ph.D. thesis, RWTH Aachen University (2014)

3. Bächler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symbolic Comput. 47(10), 1233–1266 (2012)

4. Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Ph.D. thesis, Universität Innsbruck, Austria (1965)

5. Chai, F., Gao, X.S., Yuan, C.: A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers. J. Syst. Sci. Complex. 21(2), 191–208 (2008)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition;Computer Algebra in Scientific Computing;2022

2. Sparse Triangular Decomposition for Computing Equilibria of Biological Dynamic Systems Based on Chordal Graphs;IEEE/ACM Transactions on Computational Biology and Bioinformatics;2022

3. On the chordality of ordinary differential triangular decomposition in top-down style;Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation;2020-07-20