Pages that link to "Item:Q3973341"
From MaRDI portal
The following pages link to Effective real Nullstellensatz and variants (Q3973341):
Displaying 14 items.
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- More on real algebra in Scott's model (Q1076670) (← links)
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field (Q1313807) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- On the complexity of the real Nullstellensatz in the 0-dimensional case (Q1584040) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- On the efficiency of effective Nullstellensätze (Q2366723) (← 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)
- Killing the GCH everywhere with a single real (Q2869902) (← links)
- Variants of the Effective Nullstellensatz and Residue Calculus (Q2911815) (← links)
- (Q4340887) (← links)
- (Q4386035) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)