| Publication | Date of Publication | Type |
|---|
| Valuative dimension, constructive points of view | 2024-04-08 | Paper |
| Valuative Lattices and Spectra | 2024-02-06 | Paper |
| Heitman dimension of distributive lattices and commutative rings | 2023-12-01 | Paper |
| Seminormal Rings (following Thierry Coquand) | 2023-10-15 | Paper |
| Dimension de Krull, Nullstellens\"atze et \'Evaluation Dynamique | 2023-08-20 | Paper |
| The constructive content of a local-global principle with an application to the structure of a finitely generated projective module | 2023-08-18 | Paper |
| Algebra in Bishop’s style: A Course in Constructive Algebra | 2023-08-11 | Paper |
| Constructive Theory of Ordinals | 2023-08-04 | Paper |
| Constructive Remarks on Azumaya Algebra | 2023-06-30 | Paper |
| The Berlekamp-Massey Algorithm revisited | 2022-11-21 | Paper |
| Some remarks about normal rings | 2022-10-29 | Paper |
| Dynamic computations inside the algebraic closure of a valued field | 2022-02-11 | Paper |
| Regular Entailment Relations | 2022-01-27 | Paper |
| Constructive basic theory of central simple algebras | 2021-02-25 | Paper |
| On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case | 2021-01-06 | Paper |
| Spectral Spaces Versus Distributive Lattices: A Dictionary | 2020-09-01 | Paper |
| An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem | 2020-05-06 | Paper |
| \`A propos d'un th\'eor\`eme de de Felipe et Teissier sur la comparaison de deux hens\'elis\'es dans le cas non noeth\'erien | 2020-05-01 | Paper |
| Some Remarks about Normal Rings | 2020-04-03 | Paper |
| Generalized matrix calculation over Prüfer domains | 2020-03-20 | Paper |
| The syzygy theorem for Bézout rings | 2019-12-27 | Paper |
| Regular entailment relations | 2019-12-19 | Paper |
| Lattice-ordered groups generated by an ordered group and regular systems of ideals | 2019-10-04 | 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 |
| Un anneau de Prüfer | 2018-09-18 | Paper |
| Théories géométriques pour l’algèbre des nombres réels | 2018-04-16 | Paper |
| Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down | 2017-12-13 | Paper |
| Constructions cach\'ees en alg\`ebre abstraite. Dimension de Krull, Going Up, Going Down (revised version, 2008) | 2017-12-13 | Paper |
| Local Bézout theorem for Henselian rings | 2017-09-21 | Paper |
| Alg\`ebre commutative M\'ethodes constructives | 2016-11-08 | Paper |
| Anneaux à diviseurs et anneaux de Krull (une approche constructive) | 2016-04-25 | Paper |
| Th\'eor\`eme de de Smit et Lenstra, d\'emonstration \'el\'ementaire | 2015-08-23 | Paper |
| Calcul matriciel g\'en\'eralis\'e sur les domaines de Pr\"ufer | 2015-08-03 | Paper |
| Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot | 2015-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2931733 | 2014-11-27 | Paper |
| Revisiting Zariski main theorem from a constructive point of view | 2014-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2878070 | 2014-08-28 | Paper |
| Un Algorithme pour le Calcul des Syzygies surV[X dans le cas oùVest un Domaine de Valuation] | 2014-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5410770 | 2014-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3144945 | 2012-12-13 | Paper |
| The Gröbner ring conjecture in one variable | 2012-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112383 | 2012-01-16 | Paper |
| A polynomial bound on the number of comaximal localizations needed in order to make free a projective module | 2011-04-11 | Paper |
| Dynamic Galois theory | 2010-11-19 | Paper |
| Curves and coherent Prüfer rings | 2010-11-19 | Paper |
| Local Bézout theorem | 2010-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568139 | 2010-06-17 | Paper |
| Spectral schemes as ringed lattices | 2010-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3637541 | 2009-07-12 | Paper |
| Projective modules over polynomial rings: a constructive approach | 2009-06-25 | Paper |
| CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS | 2009-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3620478 | 2009-04-14 | Paper |
| Dimension de Heitmann des treillis distributifs et des anneaux commutatifs | 2009-04-14 | Paper |
| An algorithm for the Traverso-Swan theorem on seminormal rings | 2008-10-17 | Paper |
| A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem | 2008-10-06 | Paper |
| A note on the axiomatisation of real numbers | 2008-06-12 | Paper |
| Comparison of Picard groups in dimension 1 | 2008-06-12 | Paper |
| Elementary constructive theory of Henselian local rings | 2008-06-12 | Paper |
| Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa | 2008-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5454196 | 2008-03-28 | Paper |
| Seminormal rings (following Thierry Coquand) | 2008-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5437178 | 2008-01-18 | Paper |
| Suslin's algorithms for reduction of unimodular rows | 2007-10-19 | Paper |
| A logical approach to abstract algebra | 2007-02-09 | Paper |
| A Short Proof for the Krull Dimension of a Polynomial Ring | 2006-12-05 | 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) | 2006-10-19 | Paper |
| The Berlekamp-Massey algorithm revisited | 2006-09-12 | Paper |
| Generalizing Cramer's Rule: Solving Uniformly Linear Systems of Equations | 2006-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718574 | 2006-01-16 | Paper |
| Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) | 2005-12-06 | Paper |
| Generalized Budan--Fourier theorem and virtual roots | 2005-09-02 | Paper |
| A nilregular element property | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681541 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681542 | 2005-06-23 | Paper |
| Generating non-Noetherian modules constructively | 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.) | 2004-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736172 | 2004-08-09 | Paper |
| Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings | 2004-08-09 | Paper |
| Krull dimension, Nullstellensätze and dynamical evaluation | 2004-06-17 | Paper |
| Matrix methods. An introduction to algebraic complexity | 2003-12-08 | Paper |
| Continuity properties for flat families of polynomials. I: Continuous parametrizations | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440904 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153398 | 2002-12-09 | Paper |
| Hidden constructions in abstract algebra. I: Integral dependance. | 2002-07-08 | Paper |
| Dynamical method in algebra: Effective Nullstellensätze | 2002-02-19 | Paper |
| Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination | 2002-01-01 | Paper |
| Une généralisation du Positivstellensatz pour les corps valués algébriquement clos | 2001-11-18 | Paper |
| New structure theorem for subresultants | 2001-09-12 | Paper |
| Spécialisation de la suite de Sturm | 2001-03-01 | Paper |
| Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval | 2000-12-12 | Paper |
| Construction of the Henselization of a valued field | 2000-10-23 | Paper |
| Constructive rereading of Artin-Schreier theory | 2000-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394970 | 1999-11-09 | Paper |
| Étude constructive de problèmes de topologie pour les réels irrationnels | 1999-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391225 | 1998-09-13 | Paper |
| Smooth parametrizations for several cases of the Positivstellensatz | 1998-07-27 | Paper |
| Virtual roots of real polynomials | 1998-07-23 | Paper |
| Certified approximate univariate GCDs | 1998-07-19 | Paper |
| Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini | 1998-06-11 | Paper |
| Computing algorithms for the reduction of a Hermite algorithm with polynomial coefficients | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4717942 | 1997-02-24 | Paper |
| The Positivstellensatz and Small Deduction Rules for Systems of Inequalities | 1996-11-25 | Paper |
| Transformation homographique appliquée à un développement en fraction continue fini ou infini | 1996-10-13 | Paper |
| Analyse de complexité pour un théorème de Hall sur les fractions continues | 1996-05-02 | Paper |
| A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field | 1995-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3135193 | 1995-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282516 | 1994-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037362 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986779 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3973341 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712921 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712966 | 1992-06-25 | Paper |
| 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) | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358841 | 1991-01-01 | Paper |
| Real numbers, continued fractions and complexity classes | 1990-01-01 | Paper |
| Spécialisation de la suite de Sturm et sous-résultants (I) | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3469103 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203007 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5751006 | 1990-01-01 | Paper |
