scientific article; zbMATH DE number 1082910
From MaRDI portal
Publication:4365300
zbMath0876.12002MaRDI QIDQ4365300
Publication date: 4 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Other constructive mathematics (03F65)
Related Items
Some logical metatheorems with applications in functional analysis, Constructive rereading of Artin-Schreier theory, Eliminating disjunctions by disjunction elimination, An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, An Intuitionistic Axiomatisation of Real Closed Fields, Cut elimination for entailment relations, Construction of the Henselization of a valued field, An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions
