The following pages link to (Q3358841):
Displaying 7 items.
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Construction of the Henselization of a valued field (Q1570369) (← links)
- Towards faster real algebraic numbers (Q1878487) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
