scientific article; zbMATH DE number 16655
From MaRDI portal
Publication:3973341
Other constructive mathematics (03F65) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Relevant commutative algebra (14A05) Real algebraic sets (14P05) Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)
Recommendations
Cited in
(18)- More on real algebra in Scott's model
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- Constructive rereading of Artin-Schreier theory
- On the complexity of the real Nullstellensatz in the 0-dimensional case
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- On the efficiency of effective Nullstellensätze
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- Killing the GCH everywhere with a single real
- Variants of the Effective Nullstellensatz and Residue Calculus
- scientific article; zbMATH DE number 177492 (Why is no real title available?)
- scientific article; zbMATH DE number 1021596 (Why is no real title available?)
- scientific article; zbMATH DE number 1143868 (Why is no real title available?)
- scientific article; zbMATH DE number 5195 (Why is no real title available?)
- scientific article; zbMATH DE number 939820 (Why is no real title available?)
- An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
- An algebraic certificate for Budan's theorem
- scientific article; zbMATH DE number 4185817 (Why is no real title available?)
- Dynamical method in algebra: Effective Nullstellensätze
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973341)
