The following pages link to Henri Lombardi (Q208823):
Displaying 33 items.
- Spécialisation de la suite de Sturm et sous-résultants (I) (Q3358238) (← links)
- (Q3358841) (← links)
- A Short Proof for the Krull Dimension of a Polynomial Ring (Q3412193) (← links)
- A logical approach to abstract algebra (Q3422024) (← links)
- (Q3469103) (← links)
- A note on the axiomatisation of real numbers (Q3506319) (← links)
- Comparison of Picard groups in dimension 1 (Q3506322) (← links)
- Elementary constructive theory of Henselian local rings (Q3506323) (← links)
- (Q3568139) (← links)
- (Q3620478) (← links)
- Dimension de Heitmann des treillis distributifs et des anneaux commutatifs (Q3620479) (← links)
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS (Q3622765) (← links)
- Projective modules over polynomial rings: a constructive approach (Q3634628) (← links)
- (Q3637541) (← links)
- (Q3973341) (← links)
- (Q3986779) (← links)
- (Q4037362) (← links)
- Étude constructive de problèmes de topologie pour les réels irrationnels (Q4243916) (← links)
- (Q4282516) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- Spécialisation de la suite de Sturm (Q4362273) (← links)
- (Q4391225) (← links)
- (Q4394970) (← links)
- (Q4440904) (← links)
- Une généralisation du Positivstellensatz pour les corps valués algébriquement clos (Q4512579) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- Un anneau de Prüfer (Q4682433) (← links)
- Analyse de complexité pour un théorème de Hall sur les fractions continues (Q4868247) (← links)
- Transformation homographique appliquée à un développement en fraction continue fini ou infini (Q4871317) (← links)
- The Positivstellensatz and Small Deduction Rules for Systems of Inequalities (Q4892483) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- The syzygy theorem for Bézout rings (Q5207449) (← links)
- Valuative dimension, constructive points of view (Q6203783) (← links)
