4 papers
Une approche combinatoire pour le résultant multivarié. Le résultant multivarié pour les enfants motivés
Claude Quitté, Claire Tête
We provide, in a 474 pages study, a comprehensive and self-contained treatment of Resultant Theory for a homogeneous system of polynomials with several variables (as many variables…
Modules projectifs de type fini, applications linéaires croisées et inverses généralisés
Gema M. Díaz--Toca, Laureano Gonzalez-Vega, Henri Lombardi +1
We give a general theory of generalised inverses and we explain the link with the theory of finitely generated projective modules. All the paper is written in constrctive mathemati…
Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
Thierry Coquand, Henri Lombardi, Claude Quitté
We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these…
Théorème de de Smit et Lenstra, démonstration élémentaire
Henri Lombardi, Claude Quitté
We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant"