Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition

DOI10.1007/978-3-031-14788-3_8OpenAlexW4302333077MaRDI QIDQ2109980

Chenqi Mou, Mingyu Dong

Publication date: 21 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-14788-3_8

zbMATH Keywords

chordal graphimplementationsparsitytriangular decomposition

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• Epsilon
• RegularChains
• SINGULAR
• Wsolve
• Chordal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithms for computing triangular decomposition of polynomial systems
• Characteristic set algorithms for equation solving in finite fields
• Algorithmic Thomas decomposition of algebraic and differential systems
• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
• Algebraic approaches to stability analysis of biological systems
• Basic principles of mechanical theorem proving in elementary geometries
• Elimination methods
• A new method for solving algebraic systems of positive dimension
• Solving zero-dimensional algebraic systems
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• Decomposing polynomial systems into simple systems
• An elimination method for polynomial systems
• On the theories of triangular sets
• Triangular sets for solving polynomial systems: a comparative implementation of four methods
• Maximum cardinality search for computing minimal triangulations of graphs
• Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case
• Chordal graphs in triangular decomposition in top-down style
• Attacking Bivium and Trivium with the Characteristic Set Method
• Comprehensive Triangular Decomposition
• On the Chordality of Simple Decomposition in Top-Down Style
• Chordality Preserving Incremental Triangular Decomposition and Its Implementation
• On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style
• Stability analysis of biological systems with real solution classification
• Chordal Networks of Polynomial Ideals
• A zero structure theorem for polynomial-equations-solving and its applications

This page was built for publication: Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition