scientific article
From MaRDI portal
Publication:3973341
zbMath0748.14023MaRDI QIDQ3973341
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Real algebraic sets (14P05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Other constructive mathematics (03F65) Relevant commutative algebra (14A05)
Related Items (7)
Constructive rereading of Artin-Schreier theory ⋮ An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ An algebraic certificate for Budan's theorem ⋮ Dynamical method in algebra: 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) ⋮ A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
This page was built for publication:
