| Publication | Date of Publication | Type |
|---|
Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
Mathématiques en Devenir | 2024-09-18 | Paper |
| Heitman dimension of distributive lattices and commutative rings | 2023-12-01 | Paper |
Seminormal Rings (following Thierry Coquand)
(available as arXiv preprint) | 2023-10-15 | Paper |
| Une approche combinatoire pour le r\'esultant multivari\'e. Le r\'esultant multivari\'e pour les enfants motiv\'es | 2023-08-23 | Paper |
| R\'esolutions libres finies. M\'ethodes constructives | 2018-11-05 | Paper |
| Modules projectifs de type fini, applications lin\'eaires crois\'ees et inverses g\'en\'eralis\'es | 2018-09-24 | Paper |
| Alg\`ebre commutative M\'ethodes constructives | 2016-11-08 | Paper |
| Th\'eor\`eme de de Smit et Lenstra, d\'emonstration \'el\'ementaire | 2015-08-23 | Paper |
Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
Algebra and Applications | 2015-04-22 | Paper |
| Modules over commutative rings. Course and exercises | 2014-11-27 | Paper |
Un Algorithme pour le Calcul des Syzygies surV[X dans le cas oùVest un Domaine de Valuation]
Communications in Algebra | 2014-08-18 | Paper |
Constructive finite free resolutions
Manuscripta Mathematica | 2012-02-14 | Paper |
| Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises | 2012-01-16 | Paper |
Curves and coherent Prüfer rings
Journal of Symbolic Computation | 2010-11-19 | Paper |
| Universal decomposition algebra | 2010-06-17 | Paper |
CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
Journal of Algebra and its Applications | 2009-04-28 | Paper |
| Dimension de Heitmann des treillis distributifs et des anneaux commutatifs | 2009-04-14 | Paper |
Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
(available as arXiv preprint) | 2009-04-14 | Paper |
| Constructive deciphering of classical proofs: the Artin theorem in Galois theory | 2009-04-14 | Paper |
Comparison of Picard groups in dimension 1
Mathematical Logic Quarterly | 2008-06-12 | Paper |
Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
Journal of Pure and Applied Algebra | 2008-04-15 | Paper |
Seminormal rings (following Thierry Coquand)
Theoretical Computer Science | 2008-03-11 | Paper |
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)
Journal of Algebra | 2006-10-19 | Paper |
Generating non-Noetherian modules constructively
Manuscripta Mathematica | 2005-02-02 | Paper |
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.)
Journal of Algebra | 2004-11-26 | Paper |
| scientific article; zbMATH DE number 2084947 (Why is no real title available?) | 2004-08-09 | Paper |
Univariate polynomial factorization over finite fields
Theoretical Computer Science | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 107985 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 3577217 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3582170 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3595205 (Why is no real title available?) | 1977-01-01 | Paper |
An algorithm for computing syzygies on $V[X$ when $V$ is a valuation domain]
(available as arXiv preprint) | N/A | Paper |
