scientific article
From MaRDI portal
Publication:3986779
zbMath0774.12004MaRDI QIDQ3986779
Marie-France Roy, Henri Lombardi
Publication date: 27 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive proofSturm's theoremreal closureordered field\(d\)-closed ordered fieldsalgebraic mean value theoremalgorithm IF (formal inequalities)Hörmander algorithmuniformly primitive recursive algorithms
Constructive and recursive analysis (03F60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15)
This page was built for publication:
