The following pages link to Henri Lombardi (Q208823):
Displaying 50 items.
- (Q234434) (redirect page) (← links)
- (Q402420) (redirect page) (← links)
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- The Gröbner ring conjecture in one variable (Q415466) (← links)
- (Q588674) (redirect page) (← links)
- Dynamic Galois theory (Q607055) (← links)
- Curves and coherent Prüfer rings (Q607061) (← links)
- Generating non-Noetherian modules constructively (Q706187) (← links)
- Real numbers, continued fractions and complexity classes (Q751655) (← links)
- Représentations des nombres réels par développements en base entière et complexité. (Representations of real numbers by expansions on integer basis and complexity) (Q804571) (← links)
- On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case (Q827052) (← links)
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← links)
- An algorithm for the Traverso-Swan theorem on seminormal rings (Q948720) (← links)
- Local Bézout theorem (Q992805) (← links)
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field (Q1313807) (← links)
- Computing algorithms for the reduction of a Hermite algorithm with polynomial coefficients (Q1351936) (← links)
- Certified approximate univariate GCDs (Q1358910) (← links)
- Smooth parametrizations for several cases of the Positivstellensatz (Q1365449) (← links)
- Virtual roots of real polynomials (Q1380008) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Continuity properties for flat families of polynomials. I: Continuous parametrizations (Q1408354) (← links)
- Matrix methods. An introduction to algebraic complexity (Q1414899) (← links)
- Krull dimension, Nullstellensätze and dynamical evaluation (Q1433399) (← links)
- New structure theorem for subresultants (Q1569836) (← links)
- Construction of the Henselization of a valued field (Q1570369) (← links)
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval (Q1589441) (← links)
- Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.) (Q1887479) (← links)
- Generalized matrix calculation over Prüfer domains (Q2305854) (← links)
- Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot (Q2341091) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- Generalized Budan--Fourier theorem and virtual roots (Q2387416) (← links)
- Local Bézout theorem for Henselian rings (Q2404865) (← links)
- A polynomial bound on the number of comaximal localizations needed in order to make free a projective module (Q2431196) (← links)
- Suslin's algorithms for reduction of unimodular rows (Q2456568) (← links)
- Seminormal rings (following Thierry Coquand) (Q2476016) (← links)
- Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa (Q2481800) (← links)
- A nilregular element property (Q2487024) (← links)
- The Berlekamp-Massey algorithm revisited (Q2502174) (← links)
- Finite type projective modules, crossed linear maps and generalized inverses. (Modules projectifs de type fini, applications linéaires croisées et inverses généralisés) (Q2509264) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- Anneaux à diviseurs et anneaux de Krull (une approche constructive) (Q2802205) (← links)
- Un Algorithme pour le Calcul des Syzygies sur<b>V</b>[<i>X</i>] dans le cas où<b>V</b>est un Domaine de Valuation (Q2876243) (← links)
- (Q2878070) (← links)
- (Q2931733) (← links)
- (Q3112383) (← links)
- (Q3135193) (← links)
- (Q3144945) (← links)
- Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination (Q3153385) (← links)
- (Q3153398) (← links)
