Pages that link to "Item:Q1565817"
From MaRDI portal
The following pages link to Examples of using dynamic constructible closure. (Q1565817):
Displaying 6 items.
- Sketches and computations over fields. (Q1565815) (← links)
- Dynamic evaluation and real closure. (Q1565836) (← links)
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- Directed evaluation (Q2192677) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
- On the links between triangular sets and dynamic constructible closure (Q5946465) (← links)
