| Publication | Date of Publication | Type |
|---|
An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
History and Philosophy of Logic | 2026-03-31 | Paper |
Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
Mathématiques en Devenir | 2024-09-18 | Paper |
Valuative dimension, constructive points of view
Journal of Algebra | 2024-04-08 | Paper |
Valuative Lattices and Spectra
Algebraic, Number Theoretic, and Topological Aspects of Ring Theory | 2024-02-06 | 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 |
Dimension de Krull, Nullstellens\"atze et \'Evaluation Dynamique
(available as arXiv preprint) | 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
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Constructive Theory of Ordinals
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
| Constructive Remarks on Azumaya Algebra | 2023-06-30 | Paper |
The Berlekamp-Massey Algorithm revisited
(available as arXiv preprint) | 2022-11-21 | Paper |
Some remarks about normal rings
(available as arXiv preprint) | 2022-10-29 | Paper |
| Dynamic computations inside the algebraic closure of a valued field | 2022-02-11 | Paper |
Regular entailment relations
Paul Lorenzen -- Mathematician and Logician | 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
Journal of Algebra | 2021-01-06 | Paper |
Spectral spaces versus distributive lattices: a dictionary
Springer Proceedings in Mathematics & Statistics | 2020-09-01 | Paper |
An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
Memoirs of the American Mathematical Society | 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
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Generalized matrix calculation over Prüfer domains
Bulletin des Sciences Mathématiques | 2020-03-20 | Paper |
The syzygy theorem for Bézout rings
Mathematics of Computation | 2019-12-27 | Paper |
Regular entailment relations
(available as arXiv preprint) | 2019-12-19 | Paper |
Lattice-ordered groups generated by an ordered group and regular systems of ideals
Rocky Mountain Journal of Mathematics | 2019-10-04 | Paper |
Lattice-ordered groups generated by an ordered group and regular systems of ideals
Rocky Mountain Journal of Mathematics | 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 |
A Prüfer ring
Actes des rencontres du CIRM | 2018-09-18 | Paper |
Geometric theories for the algebra of real numbers
Ordered Algebraic Structures and Related Topics | 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
Collectanea Mathematica | 2017-09-21 | Paper |
| Alg\`ebre commutative M\'ethodes constructives | 2016-11-08 | Paper |
Anneaux à diviseurs et anneaux de Krull (une approche constructive)
Communications in Algebra | 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
Algebra and Applications | 2015-04-22 | Paper |
| Modules over commutative rings. Course and exercises | 2014-11-27 | Paper |
Revisiting Zariski main theorem from a constructive point of view
Journal of Algebra | 2014-08-28 | Paper |
Constructive algebra
La Gaceta de la Real Sociedad Matemática Española | 2014-08-28 | 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 |
| Computable real numbers according to Alan Turing (an example of a constructive definition) | 2014-04-17 | Paper |
| Mathematical epistemology | 2012-12-13 | Paper |
The Gröbner ring conjecture in one variable
Mathematische Zeitschrift | 2012-05-08 | Paper |
| Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises | 2012-01-16 | Paper |
A polynomial bound on the number of comaximal localizations needed in order to make free a projective module
Linear Algebra and its Applications | 2011-04-11 | Paper |
Dynamic Galois theory
Journal of Symbolic Computation | 2010-11-19 | Paper |
Curves and coherent Prüfer rings
Journal of Symbolic Computation | 2010-11-19 | Paper |
Local Bézout theorem
Journal of Symbolic Computation | 2010-09-10 | Paper |
| Universal decomposition algebra | 2010-06-17 | Paper |
Spectral schemes as ringed lattices
Annals of Mathematics and Artificial Intelligence | 2010-03-19 | Paper |
| scientific article; zbMATH DE number 5577541 (Why is no real title available?) | 2009-07-12 | Paper |
Projective modules over polynomial rings: a constructive approach
Mathematische Nachrichten | 2009-06-25 | 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 |
An algorithm for the Traverso-Swan theorem on seminormal rings
Journal of Algebra | 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
Journal of Algebra | 2008-10-06 | Paper |
Elementary constructive theory of Henselian local rings
Mathematical Logic Quarterly | 2008-06-12 | Paper |
Comparison of Picard groups in dimension 1
Mathematical Logic Quarterly | 2008-06-12 | Paper |
A note on the axiomatisation of real numbers
MLQ | 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 |
| scientific article; zbMATH DE number 5255345 (Why is no real title available?) | 2008-03-28 | Paper |
Seminormal rings (following Thierry Coquand)
Theoretical Computer Science | 2008-03-11 | Paper |
| The projective spectrum as a distributive lattice | 2008-01-18 | Paper |
Suslin's algorithms for reduction of unimodular rows
Journal of Symbolic Computation | 2007-10-19 | Paper |
A logical approach to abstract algebra
Mathematical Structures in Computer Science | 2007-02-09 | Paper |
A Short Proof for the Krull Dimension of a Polynomial Ring
The American Mathematical Monthly | 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)
Journal of Algebra | 2006-10-19 | Paper |
The Berlekamp-Massey algorithm revisited
Applicable Algebra in Engineering, Communication and Computing | 2006-09-12 | Paper |
Generalizing Cramer's Rule: Solving Uniformly Linear Systems of Equations
SIAM Journal on Matrix Analysis and Applications | 2006-05-31 | Paper |
| scientific article; zbMATH DE number 2247262 (Why is no real title available?) | 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)
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
Generalized Budan--Fourier theorem and virtual roots
Journal of Complexity | 2005-09-02 | Paper |
A nilregular element property
Archiv der Mathematik | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2182805 (Why is no real title available?) | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 2182806 (Why is no real title available?) | 2005-06-23 | 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 |
Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
(available as arXiv preprint) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084947 (Why is no real title available?) | 2004-08-09 | Paper |
Krull dimension, Nullstellensätze and dynamical evaluation
Mathematische Zeitschrift | 2004-06-17 | Paper |
Matrix methods. An introduction to algebraic complexity
Mathématiques & Applications (Berlin) | 2003-12-08 | Paper |
Continuity properties for flat families of polynomials. I: Continuous parametrizations
Journal of Pure and Applied Algebra | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 2020233 (Why is no real title available?) | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1824111 (Why is no real title available?) | 2002-12-09 | Paper |
Hidden constructions in abstract algebra. I: Integral dependance.
Journal of Pure and Applied Algebra | 2002-07-08 | Paper |
Dynamical method in algebra: Effective Nullstellensätze
Annals of Pure and Applied Logic | 2002-02-19 | Paper |
Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
(available as arXiv preprint) | 2002-01-01 | Paper |
Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 2001-11-18 | Paper |
New structure theorem for subresultants
Journal of Symbolic Computation | 2001-09-12 | Paper |
Spécialisation de la suite de Sturm
RAIRO - Theoretical Informatics and Applications | 2001-03-01 | Paper |
Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
Theoretical Computer Science | 2000-12-12 | Paper |
Construction of the Henselization of a valued field
Journal of Algebra | 2000-10-23 | Paper |
Constructive rereading of Artin-Schreier theory
Annals of Pure and Applied Logic | 2000-10-08 | Paper |
| scientific article; zbMATH DE number 1163435 (Why is no real title available?) | 1999-11-09 | Paper |
Étude constructive de problèmes de topologie pour les réels irrationnels
Mathematical Logic Quarterly | 1999-10-18 | Paper |
| scientific article; zbMATH DE number 1157660 (Why is no real title available?) | 1998-09-13 | Paper |
Smooth parametrizations for several cases of the Positivstellensatz
Mathematische Zeitschrift | 1998-07-27 | Paper |
Virtual roots of real polynomials
Journal of Pure and Applied Algebra | 1998-07-23 | Paper |
Certified approximate univariate GCDs
Journal of Pure and Applied Algebra | 1998-07-19 | Paper |
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
RAIRO - Theoretical Informatics and Applications | 1998-06-11 | Paper |
Computing algorithms for the reduction of a Hermite algorithm with polynomial coefficients
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 953021 (Why is no real title available?) | 1997-02-24 | Paper |
The Positivstellensatz and Small Deduction Rules for Systems of Inequalities
Mathematische Nachrichten | 1996-11-25 | Paper |
Transformation homographique appliquée à un développement en fraction continue fini ou infini
Acta Arithmetica | 1996-10-13 | Paper |
Analyse de complexité pour un théorème de Hall sur les fractions continues
Mathematical Logic Quarterly | 1996-05-02 | Paper |
A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
Journal of Pure and Applied Algebra | 1995-11-28 | Paper |
| scientific article; zbMATH DE number 421671 (Why is no real title available?) | 1995-01-16 | Paper |
| scientific article; zbMATH DE number 516996 (Why is no real title available?) | 1994-06-23 | Paper |
| scientific article; zbMATH DE number 177492 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 29408 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 16655 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 5195 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 5269 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4210287 (Why is no real title available?) | 1991-01-01 | 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)
Theoretical Computer Science | 1991-01-01 | Paper |
Spécialisation de la suite de Sturm et sous-résultants (I)
RAIRO - Theoretical Informatics and Applications | 1990-01-01 | Paper |
Real numbers, continued fractions and complexity classes
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4185817 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4135939 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4197988 (Why is no real title available?) | 1990-01-01 | Paper |
Multivariate Hensel Lemma for ultrametric fields
(available as arXiv preprint) | N/A | Paper |
An algorithm for computing syzygies on $V[X$ when $V$ is a valuation domain]
(available as arXiv preprint) | N/A | Paper |
