Pages that link to "Item:Q4302337"
From MaRDI portal
The following pages link to Sketches and computation – II: dynamic evaluation and applications (Q4302337):
Displaying 10 items.
- Dynamical Gröbner bases (Q855700) (← links)
- Dynamical Gröbner bases over Dedekind rings (Q984989) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- Directed evaluation (Q2192677) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
