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