Choosing variable orderings based on elimination tree for sparse triangular decomposition
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3970886 (Why is no real title available?)
- scientific article; zbMATH DE number 16648 (Why is no real title available?)
- scientific article; zbMATH DE number 1254030 (Why is no real title available?)
- scientific article; zbMATH DE number 1263377 (Why is no real title available?)
- scientific article; zbMATH DE number 554762 (Why is no real title available?)
- scientific article; zbMATH DE number 622670 (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
- Algorithmic Thomas decomposition of algebraic and differential systems
- Algorithms for computing triangular decomposition of polynomial systems
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- Characteristic set algorithms for equation solving in finite fields
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Chordal graphs in triangular decomposition in top-down style
- Chordal networks of polynomial ideals
- Chordality preserving incremental triangular decomposition and its implementation
- Complexity analysis of triangular decomposition over F₂ with strongly chordal graphs
- Computing triangular systems and regular systems
- Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case
- Decomposing polynomial systems into simple systems
- Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition
- Maximum cardinality search for computing minimal triangulations of graphs
- On the chordality of polynomial sets in triangular decomposition in top-down style
- On the complexity of computing with zero-dimensional triangular sets
- Symbolic detection of steady states of autonomous differential biological systems by transformation into block triangular form
This page was built for publication: Choosing variable orderings based on elimination tree for sparse triangular decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851526)
