Pages that link to "Item:Q5039552"
From MaRDI portal
The following pages link to Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552):
Displaying 4 items.
- Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition (Q2061992) (← links)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure (Q6666548) (← links)