Pages that link to "Item:Q5946465"
From MaRDI portal
The following pages link to On the links between triangular sets and dynamic constructible closure (Q5946465):
Displaying 4 items.
- Specifications for triangulation algorithms of elementary-algebraic systems (Q1598480) (← links)
- Directed evaluation (Q2192677) (← links)
- Lifting and recombination techniques for absolute factorization (Q2371310) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)