Pages that link to "Item:Q1565836"
From MaRDI portal
The following pages link to Dynamic evaluation and real closure. (Q1565836):
Displaying 6 items.
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Sketches and computations over fields. (Q1565815) (← links)
- Towards faster real algebraic numbers (Q1878487) (← links)
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- Directed evaluation (Q2192677) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
