The following pages link to (Q3973341):
Displaying 7 items.
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field (Q1313807) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)