Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
From MaRDI portal
Publication:2109980
Recommendations
- Chordal graphs in triangular decomposition in top-down style
- On the chordality of polynomial sets in triangular decomposition in top-down style
- Chordality preserving incremental triangular decomposition and its implementation
- Algorithms for computing triangular decompositions of polynomial systems
- Algorithms for computing triangular decomposition of polynomial systems
Cites work
- scientific article; zbMATH DE number 1726532 (Why is no real title available?)
- scientific article; zbMATH DE number 622670 (Why is no real title available?)
- scientific article; zbMATH DE number 3007259 (Why is no real title available?)
- scientific article; zbMATH DE number 1979251 (Why is no real title available?)
- scientific article; zbMATH DE number 1860740 (Why is no real title available?)
- scientific article; zbMATH DE number 967945 (Why is no real title available?)
- scientific article; zbMATH DE number 3056446 (Why is no real title available?)
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- A new method for solving algebraic systems of positive dimension
- A zero structure theorem for polynomial-equations-solving and its applications
- Algebraic approaches to stability analysis of biological systems
- Algorithmic Thomas decomposition of algebraic and differential systems
- Algorithms for computing triangular decomposition of polynomial systems
- An elimination method for polynomial systems
- Attacking Bivium and Trivium with the characteristic set method
- Basic principles of mechanical theorem proving in elementary geometries
- Characteristic set algorithms for equation solving in finite fields
- Chordal graphs in triangular decomposition in top-down style
- Chordal networks of polynomial ideals
- Chordality preserving incremental triangular decomposition and its implementation
- Comprehensive Triangular Decomposition
- Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case
- Decomposing polynomial systems into simple systems
- Elimination methods
- Maximum cardinality search for computing minimal triangulations of graphs
- On the Chordality of Simple Decomposition in Top-Down Style
- On the chordality of polynomial sets in triangular decomposition in top-down style
- On the theories of triangular sets
- Ritt-Wu's decomposition algorithm and geometry theorem proving
- Solving zero-dimensional algebraic systems
- Stability analysis of biological systems with real solution classification
- The RegularChains library in Maple 10
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
Cited in
(6)- On the chordality of polynomial sets in triangular decomposition in top-down style
- A vertex incremental approach for maintaining chordality
- Chordality preserving incremental triangular decomposition and its implementation
- On the Chordality of Simple Decomposition in Top-Down Style
- Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition
- Chordal graphs in triangular decomposition in top-down style
This page was built for publication: Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2109980)