scientific article
From MaRDI portal
Publication:3358841
zbMath0732.12002MaRDI QIDQ3358841
Henri Lombardi, Marie-Françoise Roy
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15)
Related Items (7)
Towards faster real algebraic numbers ⋮ Constructive rereading of Artin-Schreier theory ⋮ Théories géométriques pour l’algèbre des nombres réels ⋮ An algebraic certificate for Budan's theorem ⋮ Constructive completions of ordered sets, groups and fields ⋮ Dynamical method in algebra: Effective Nullstellensätze ⋮ Construction of the Henselization of a valued field
This page was built for publication:
