BACH, E. « Tensor products and computability ». *J. Symbolic Comput.* 18, p. 585-593.

JACKSON, P. B. « Exploring abstract algebra in constructive type theory ». *Automated deduction—CADE-12*. Lecture Notes in Comput. Sci. 814. Springer, p. 590-604.

LOMBARDI, H. *Mathématiques constructives*. Rassemble « Hier et demain », « À propos du théorème des accroissements finis », « De la difficulté d’être omniscient », « Notes sur le formalisme en mathématiques », « Quelques principes de travail ». IREM de Besançon.

MERRIN, S. « A strong constructive version of Engel’s theorem ». *Comm. Algebra* 22, p. 1115-1125.

## 1995

CIGLER, J. *Körper – Ringe – Gleichungen*. Spektrum.

JACKSON, P. B. « Can we resolve the tension between constructive type theorists and classical mathematicians? » Notes d’un exposé au 2^nd QED workshop.

— « Enhancing the Nuprl proof development system and applying it to computational abstract algebra ». Thèse de doct. Cornell University.

ROMANO, D. A. « A theorem on residual ideal of a commutative ring with apartness ». *Zb. Rad. Prirod.-Mat. Fak. Ser. Mat.* 25, p. 99-100.

— « Decomposition of coequality relation on the Cartesian product of sets with apartnesses ». *Filomat* 9, p. 915-924.

— « Some theorems about primary coideals ». *Filomat* 9, p. 73-75.

## 1996

ARVIND, V. « A note on the self-witnessing property of computational problems ». *Computing and combinatorics*. Lecture Notes in Comput. Sci. 1090. Springer, p. 241-249.

GIANNI, P. et B. TRAGER. « Square-free algorithms in positive characteristic ». *Appl. Algebra Engrg. Comm. Comput.* 7, p. 1-14.

LOMBARDI, H. « Le contenu constructif d’un principe local-global avec une application à la structure d’un module projectif de type fini ». *Publ. Math. Fac. Sci. Besançon. Théorie des nombres* 1996. Article n° 6.

ROMANO, D. A. « Coequality relations : a survey ». *Bull. Soc. Math. Banja Luka* 3, p. 1-35.

VELDMAN, W. et F. WAALDIJK. « Some elementary results in intuitionistic model theory ». *J. Symbolic Logic* 61, p. 745-767.

## 1997

ARVIND, V. « Constructivizing membership proofs in complexity classes. » *Int. J. Found. Comput. Sci.* 8, p. 433-442.

BRIDGES, D. S. et L. S. DEDIU. « Paradise lost, or paradise regained? » *Bull. Eur. Assoc. Theor. Comput. Sci. EATCS*, p. 141-155.

BRIDGES, D. S., F. RICHMAN et P. SCHUSTER. *Linear independence and choice*. Rapp. tech. CDMTCS-037. Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland.
GONZÁLEZ-VEGA, L. et H. LOMBARDI. « Smooth parametrizations for several cases of the Positivstellensatz ». *Math. Z.* 225, p. 427-451.

ISHIHARA, H. « 構成的数学とその周辺-解析学を中心として- ». *Expositions of current mathematics* 1997, p. 18-33.

MILOŠEVIĆ, R. R., D. A. ROMANO et M. VINČIĆ. « A basic separation on a set with apartness ». *Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat.* 8, p. 36-43.

PALMGREN, E. « Constructive mathematics ». Note.

RICHMAN, F. « Flat dimension, constructivity, and the Hilbert syzygy theorem ». *New Zealand J. Math.* 26, p. 263-273.

## 1998

BRIDGES, D. S. et H. ISHIHARA. « A definitive constructive open mapping theorem? » *MLQ Math. Log. Q.* 44, p. 545-552.

CONSTABLE, R. L. et P. B. JACKSON. « Towards integrated systems for symbolic algebra and formal constructive mathematics ». Note.

COQUAND, T. et H. PERSSON. « Integrated development of algebra in type theory ». Présenté au *Calculemus and Types '98 workshop*.

DRAGO, A. « Apartness and group theory in constructive algebra ». *Logical colloquium '98*.

FEFERMAN, S. *In the light of logic*. Logic and Computation in Philosophy. Oxford University Press.

KALANTARI, I. « A bibliography of recursive algebra and recursive model theory ». *Handbook of recursive mathematics*, 1. Stud. Logic Found. Math. 138. North-Holland, p. 515-581.

KALKBRENER, M. « Algorithmic properties of polynomial rings ». *J. Symbolic Comput.* 26, p. 525-581.

LOMBARDI, H. « Relecture constructive de la théorie d'Artin-Schreier ». *Ann. Pure Appl. Logic* 91, p. 59-92.

— *Un nouvel algorithme de calcul d'une base de Gröbner*. Rapp. tech. Laboratoire de mathématiques de Besançon, Université de Franche-Comté. Version broken english : « A new algorithm for computing Gröbner bases ».

LOMBARDI, H. et H. PERDRY. « The Buchberger algorithm as a tool for ideal theory of polynomial rings in constructive mathematics ». *Gröbner bases and applications*. London Math. Soc. Lecture Note Ser. 251. Cambridge Univ. Press, p. 393-407.

RICHMAN, F. « The regular element property ». *Proc. Amer. Math. Soc.* 126, p. 2123-2129.

## 1999

BRIDGES, D. S. « Can constructive mathematics be applied in physics? » *J. Philos. Logic* 28, p. 439-453.

BRIDGES, D. S. et S. REEVES. « Constructive mathematics in theory and programming practice ». *Philos. Math. (3)* 7, p. 65-104.

COQUAND, T. et H. PERSSON. « Gröbner bases in type theory ». *Types for proofs and programs*. Lecture Notes in Comput. Sci. 1657. Springer, p. 33-46.
DEMARCO, M. « Intuitionistic semantics for hereditarily Harrop logic programming ». Thèse de doct. Wesleyan University.

FORTUNA, E. et P. GIANNI. « Square-free decomposition in finite characteristic : an application to Jordan form computation ». *SIGSAM Bull.* 33, p. 14-32.

PERSSON, H. « Certified computer algebra ». *Types summer school '99 : Theory and practice of formal proofs*. INRIA.

RICHMAN, F. « Existence proofs ». *Amer. Math. Monthly* 106, p. 303-308.

RUYS, M. P. J. « Studies in mechanical verification of mathematical proofs ». Thèse de doct. Katholieke Universiteit Nijmegen.

SCHUSTER, P. « A very weak Nullstellensatz over Heyting fields ». *Indag. Math. (N.S.)* 10, p. 117-122.

SIMPSON, S. G. *Subsystems of second order arithmetic*. Perspectives in Mathematical Logic. Springer.

## 2000

BEALL, J. C. et G. RESTALL. « Logical pluralism ». *Australasian Journal of Philosophy* 78, p. 475-493.

BRIDGES, D. S., F. RICHMAN et P. SCHUSTER. « A weak countable choice principle ». *Proc. Amer. Math. Soc.* 128, p. 2749-2752.

— « Linear independence without choice ». *Ann. Pure Appl. Logic* 101, p. 95-102.

FEFERMAN, S. « Relationships between constructive, predicative and classical systems of analysis ». *Proof theory*. Synthese Lib. 292, Kluwer, p. 221-236.

GEUVERS, H., R. POLLACK, F. WIEDIJK et J. ZWANENBURG. « Skeleton for the proof development leading to the fundamental theorem of algebra ». Note.

RESTALL, G. « Constructive logic for all : formal issues ». Australasian Association for Logic 2000 Annual Conference.

RICHMAN, F. « The fundamental theorem of algebra : a constructive development without choice ». *Pacific J. Math.* 196, p. 213-230.

ROMANO, D. A. « A maximal right zero band compatible coequality relation on semigroup with apartness ». *Novi Sad J. Math.* 30, p. 131-139.

SCHUSTER, P. « A constructive look at generalised Cauchy reals ». *MLQ Math. Log. Q.* 46, p. 125-134.

## 2001

BRIDGES, D. S. « Prime and maximal ideals in constructive ring theory ». *Comm. Algebra* 29, p. 2787-2803.

CARLSTRÖM, J. *Wheels – on division by zero*. Rapp. tech. Stockholms universitet.

COQUAND, T. et H. LOMBARDI. *Constructions cachées en algèbre abstraite : dimension de Krull, going up, going down*. Rapp. tech. Laboratoire de Mathématiques de Besançon, Université de Franche-Comté. Version anglaise : *Hidden constructions in abstract algebra, Krull dimension, going up, going down*, arXiv:1712.04725.

COSTE, M., H. LOMBARDI et M.-F. ROY. « Dynamical method in algebra : effective Nullstellensätze ». *Ann. Pure Appl. Logic* 111, p. 203-256.

FORTUNA, E., P. GIANNI et B. TRAGER. « Computation of the radical of polynomial ideals over fields of arbitrary characteristic ». *Proceedings of the 2001 international*
*symposium on symbolic and algebraic computation.* Association for Computing Machinery, p. 116-120.

LABHALLA, S., H. LOMBARDI et E. M. MOUTAI. « Espaces métriques rationnellement présentés et complexité : le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact ». *Theoret. Comput. Sci.* 250, p. 265-332.

LOMBARDI, H. « Constructions cachées en algèbre abstraite. IV. La solution du 17ème problème de Hilbert par la théorie d'Artin-Schreier ». *Publ. Math. UFR Sci. Tech. Besançon. Théorie des nombres* 2001. Article n° 3.

— « Platitude, localisation et anneaux de Prüfer : une approche constructive ». *Publ. Math. UFR Sci. Tech. Besançon. Théorie des nombres* 2001. Article n° 2.

LOMBARDI, H. et C. QUITTÉ. *Théorie constructive élémentaire des modules projectifs de type fini*. Rapp. tech. Laboratoire de mathématiques de Besançon, Université de Franche-Comté.

RICHMAN, F. « Constructive mathematics without choice ». *Reuniting the antipodes—constructive and nonstandard views of the continuum*. Synthese Lib. 306. Kluwer, p. 199-205.

ROSEMEIER, F. « A constructive approach to Conway's theory of games ». *Seminarberichte aus dem Fachbereich Mathematik der FernUniversität Hagen* 70.

SALTHE, S. N. « Theoretical biology as an anticipatory text : The relevance of Uexküll to current issues in evolutionary systems ». *Semiotica* 134, p. 359-380.

SCHUSTER, P. M. « Too simple solutions of hard problems ». *Nord. J. Philos. Log.* 6, p. 138-146.

## 2002

FORTUNA, E., P. GIANNI et B. TRAGER. « Derivations and radicals of polynomial ideals over fields of arbitrary characteristic ». *J. Symbolic Comput.* 33, p. 609-625.

GREUEL, G.-M. et G. PFISTER. *A Singular introduction to commutative algebra*. Springer.

LOMBARDI, H. « About Merckel's lemma ». *Valuation theory and its applications, I*. Fields Inst. Commun. 32. Amer. Math. Soc., p. 247-251.

— « Dimension de Krull, Nullstellensätze et évaluation dynamique ». *Math. Z.* 242, p. 23-46.

ROMANO, D. A. « Some relations and subsets generated by principal consistent subset of semigroup with apartness ». *Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat.* 13, p. 7-25.

ROSEMEIER, F. « Semiquadratische Algebren ». Thèse de doct. FernUniversität Gesamthochschule in Hagen.

SCHUSTER, P. « Real numbers as black boxes ». *New Zealand J. Math.* 31, p. 189-202.

## 2003

COQUAND, T., L. DUCOS, H. LOMBARDI et C. QUITTÉ. « L'idéal des coefficients du produit de deux polynômes ». *Revue des Mathématiques de l'Enseignement Supérieur* 113, p. 25-39.

COQUAND, T. et H. LOMBARDI. « Hidden constructions in abstract algebra [III] : Krull dimension of distributive lattices and commutative rings ». *Commutative*
*ring theory and applications*. Lecture Notes in Pure and Appl. Math. 231. Dekker, p. 477-499.

GALLIGO, A., L. GONZÁLEZ-VEGA et H. LOMBARDI. « Continuity properties for flat families of polynomials. I. Continuous parametrizations ». *J. Pure Appl. Algebra* 184, p. 77-103.

GRABMEIER, J., E. KALTOFEN et V. WEISFPENNING. *Computer algebra handbook : foundations, applications, systems*. Springer.

LOMBARDI, H. « Le programme de Hilbert et les mathématiques constructives ». *Repères-IREM* 50, p. 85-104.

LOMBARDI, H. et C. QUITTÉ. « Constructions cachées en algèbre abstraite [II] : le principe local-global ». *Commutative ring theory and applications*. Lecture Notes in Pure and Appl. Math. 231. Dekker, p. 461-476.

RICHMAN, F. « The ascending tree condition : constructive algebra without countable choice ». *Comm. Algebra* 31, p. 1993-2002.

SPITTERS, B. « Constructive and intuitionistic integration theory and functional analysis ». Thèse de doct. Katholieke Universiteit Nijmegen.

## 2004

ABDELJAOUED, J. et H. LOMBARDI. *Méthodes matricielles : introduction à la complexité algébrique*. Mathématiques & Applications 42. Springer.

BRIDGES, D. S. « First steps in constructive game theory ». *MLQ Math. Log. Q.* 50, p. 501-506.

DUCOS, L., H. LOMBARDI, C. QUITTÉ et M. SALOU. « Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind ». *J. Algebra* 281, p. 604-650.

PALMGREN, E. « Constructive logic and type theory ». Notes de cours.

PERDRY, H. « Strongly Noetherian rings and constructive ideal theory ». *J. Symbolic Comput.* 37, p. 511-535.

ROMANO, D. A. « A review of some coequality relations on semigroups with apartness ». *Bull. Soc. Math. Banja Luka* 11, p. 17-24.

YENGUI, I. « Computing a Gröbner basis of a polynomial ideal over a principal domain ». Prépubl.

## 2005

BERGER, J. et H. ISHIHARA. « Brouwer's fan theorem and unique existence in constructive analysis ». *MLQ Math. Log. Q.* 51, p. 360-364.

CARLSTRÖM, J. « Interpreting descriptions in intensional type theory ». *J. Symbolic Logic* 70, p. 488-514.

CLARK, J. « Constructive analysis of iterated rational functions ». *J. UCS* 11, p. 1904-1931.

COQUAND, T., H. LOMBARDI et P. SCHUSTER. « A nilregular element property ». *Arch. Math. (Basel)* 85, p. 49-54.

CROSILLA, L. et P. SCHUSTER. « Introduction ». *From sets and types to topology and analysis*. Oxford Logic Guides 48. Oxford Univ. Press, p. 1-20.
HAVEA, R. S. « On firmness of the state space and positive elements of a Banach algebra ». *J. UCS* 11, p. 1963-1969.

ISHIHARA, H. « Constructive reverse mathematics : compactness properties ». *From sets and types to topology and analysis*. Oxford Logic Guides 48. Oxford Univ. Press, p. 245-267.

PALMGREN, E. « Constructive completions of ordered sets, groups, and fields ». *Ann. Pure Appl. Logic* 135, p. 243-262.

PERDRY, H. « Henselian valued fields : a constructive point of view ». *MLQ Math. Log.* Q. 51, p. 400-416.

RICHMAN, F. « A division algorithm ». *J. Algebra Appl.* 4, p. 441-449.

ROMANO, D. A. « A note of a family of quasi-antiorders on semigroup ». *Kragujevac J. Math.* 27, p. 11-18.

TASCHNER, R. *The continuum : a constructive approach to basic concepts of real analysis*. Vieweg.

2006

BEALL, J. C. et G. RESTALL. *Logical pluralism*. The Clarendon Press.

BRIDGES, D. S., R. HAVEA et P. SCHUSTER. « Ideals in constructive Banach algebra theory ». *J. Complexity* 22, p. 729-737.

BRIDGES, D. S. et L. S. VĪṬĂ. *Techniques of constructive analysis*. Universitext. Springer.

COQUAND, T. « On seminormality ». *J. Algebra* 305, p. 577-584.

COQUAND, T. et H. LOMBARDI. « A logical approach to abstract algebra ». *Math. Structures Comput. Sci.* 16, p. 885-900.

DÍAZ-TOCA, G. M. « Dynamic construction of the splitting field of a polynomial ». Mathematics, algorithms, proofs (MAP) 2006.

DÍAZ-TOCA, G. M., L. GONZÁLEZ-VEGA, H. LOMBARDI et C. QUITTÉ. « Modules projectifs de type fini, applications linéaires croisées et inverses généralisés ». *J. Algebra* 303, p. 450-475.

DÍAZ-TOCA, G. M., H. LOMBARDI et C. QUITTÉ. « L'algèbre de décomposition universelle ». *Transgressive computing 2006. A conference in honor of Jean Della Dora*. Universidad de Granada, p. 169-184.

ISHIHARA, H. « Reverse mathematics in Bishop's constructive mathematics ». *Philos. Sci. (Paris)* cahier spécial 6, p. 43-59.

ISHIHARA, H. et E. PALMGREN. « Quotient topologies in constructive set theory and type theory ». *Ann. Pure Appl. Logic* 141, p. 257-265.

LOMBARDI, H. « Constructions cachées en algèbre abstraite. V. Principe local-global de Pfister et variantes ». *Focus on commutative rings research*. Nova Sci., p. 157-175.

— « Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert ». *Ann. Pure Appl. Logic* 137, p. 256-290.

RICHMAN, F. « Van der Waerden's construction of a splitting field ». *Comm. Algebra* 34, p. 2351-2356.

SCHUSTER, P. « Formal Zariski topology : positivity and points ». *Ann. Pure Appl. Logic* 137, p. 317-359.
SCHUSTER, P. et J. ZAPPE. « Do Noetherian modules have Noetherian basis functions ? » *Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006*. Springer, p. 481-489.

YENGUI, I. « A dynamical solution of Kronecker’s problem ». *Mathematics, algorithms, proofs*. Dagstuhl Seminar Proceedings 05021. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI) Schloss Dagstuhl.

— « Dynamical Gröbner bases ». *J. Algebra* 301, p. 447-458.

## 2007

COQUAND, T. et A. SPIWACK. « Towards constructive homological algebra in type theory. » *Towards mechanized mathematical assistants. 14th symposium, Calculamus 2007, 6th international conference, MKM 2007*. Springer, p. 40-54.

CRVENKOVIĆ, S. et D. A. ROMANO. « A theorem on anti-ordered factor-semigroups ». *Publ. Inst. Math. (Beograd) (N.S.)* 82(96), p. 119-128.

ISHIHARA, H. « 構成的数学とその動向 ». *Kagaku tetsugaku* 40, p. 1-12.

LOMBARDI, H. *Questions about algebraic properties of real numbers*. Rapp. tech. Laboratoire de mathématiques de Besançon, Université de Franche-Comté.

MANDELKERN, M. « Constructive coordinatization of Desarguesian planes ». *Beiträge Algebra Geom.* 48, p. 547-589.

ROMANO, D. A. « A construction of lower-potent quasi-antiorders in semigroup with apartness ». *Int. Math. Forum* 2, p. 3293-3301.

— « A note on the quasi-antiorder in a semigroup ». *Novi Sad J. Math.* 37, p. 3-8.

— « On regular anti-congruence in anti-ordered semigroups ». *Publ. Inst. Math. (Beograd) (N.S.)* 81(95), p. 95-102.

— « The second isomorphism theorem on ordered set under antiorders ». *Kragujevac J. Math.* 30, p. 235-242.

## 2008

ALONSO, M. E., H. LOMBARDI et H. PERDRY. « Elementary constructive theory of Henselian local rings ». *MLQ Math. Log. Q.* 54, p. 253-271.

BARHOUMI, S. et H. LOMBARDI. « An algorithm for the Traverso-Swan theorem on seminormal rings ». *J. Algebra* 320, p. 1531-1542.

BOGDANIĆ, D., D. A. ROMANO et M. VINČIĆ. « A connection between quasi-antiorders and pairs of coequalities ». *Bull. Soc. Math. Banja Luka* 15, p. 9-14.

BRIDGES, D. S. et R. S. HAVEA. « Constructive notions of maximality for ideals ». *J. UCS* 14, p. 3648-3657.

COQUAND, T. *Constructive logic in algebra*. Rapp. tech. Summer school and conference *Mathematics, algorithms and proofs*. The Abdus Salam international centre for theoretical physics.

CRVENKOVIĆ, S., D. A. ROMANO et M. VINČIĆ. « A note on band anticomplance of ordered semigroups ». *Int. J. Algebra* 2, p. 1-11.

ELLOUZ, A., H. LOMBARDI et I. YENGUI. « A constructive comparison of the rings $R(X)$ and $R\langle X\rangle$ and application to the Lequain-Simis induction theorem ». *J. Algebra* 320, p. 521-533.
JOJIĆ, D. et D. A. ROMANO. « Quasi-antiorder relational system ». *Int. J. Contemp. Math. Sci.* 3, p. 1307-1315.

LECERF, G. « Fast separable factorization and applications ». *Appl. Algebra Engrg. Comm. Comput.* 19, p. 135-160.

LOMBARDI, H. *Budan-Fourier count and constructive real algebra*. Summer school and conference *Mathematics, algorithms and proofs*.

LOMBARDI, H. et C. QUITTÉ. « Comparison of Picard groups in dimension 1 ». *MLQ Math. Log. Q.* 54, p. 247-252. Version anglaise de « Comparaison de groupes de Picard en dimension 1 ».

— « Seminormal rings (following Thierry Coquand) ». *Theoret. Comput. Sci.* 392, p. 113-127. Version anglaise de « Anneaux seminormaux (d'après Thierry Coquand) ».

LOMBARDI, H., C. QUITTÉ et I. YENGUI. « Hidden constructions in abstract algebra. VI. The theorem of Maroscia and Brewer & Costa ». *J. Pure Appl. Algebra* 212, p. 1575-1582.

PERDRY, H. « Lazy bases : a minimalist constructive theory of Noetherian rings ». *MLQ Math. Log. Q.* 54, p. 70-82.

ROMANO, D. A. « A construction of the maximal matrix anticongruence ». *Int. J. Algebra* 2, p. 621-631.

— « A remark on coequality relation in anti-ordered set ». *Int. J. Contemp. Math. Sci.* 3, p. 43-48.

— « A remark on mappings between quasi-antiordered sets ». *Proceedings of the 12th Serbian Mathematical Congress*. Univerzitet u Novom Sadu.

— « A theorem on band anticongruence on ordered semigroup ». *Int. J. Algebra* 2, p. 339-347.

— « An isomorphism theorem for anti-ordered sets ». *Filomat* 22, p. 145-160.

— « Consistent positive and linear positive quasi-antiorders ». *Int. Math. Forum* 3, p. 883-891.

— « Isomorphism theorems for QA-mappings ». *Int. J. Contemp. Math. Sci.* 3, p. 695-701.

— « Quotient of a consistent subset by an element—constructive point of view ». *Int. Math. Forum* 3, p. 1547-1561.

SACERDOTI COEN, C. et S. ZACCHIROLI. « Spurious disambiguation errors and how to get rid of them ». *Math. Comput. Sci.* 2, p. 355-378.

SCHUSTER, P. « The Zariski spectrum as a formal geometry ». *Theoret. Comput. Sci.* 405, p. 101-115.

SCHUSTER, P. et J. ZAPPE. « Über das Kripke-Schema und abzählbare Teilmengen ». *Logique et Anal. (N.S.)* 51, p. 317-329.

YENGUI, I. « Making the use of maximal ideals constructive ». *Theoret. Comput. Sci.* 392, p. 174-178.

— *Projective modules over polynomial rings and dynamical Gröbner bases*. Rapp. tech. Summer school and conference *Mathematics, algorithms and proofs*. The Abdus Salam international centre for theoretical physics.

— « The Hermite ring conjecture in dimension one ». *J. Algebra* 320, p. 437-441.
## 2009

AKHARRAZ, I. et M. E. CHARKANI. « Induced modules by an endomorphism of finitely generated modules ». *Int. J. Algebra* 3, p. 589-597.

BARHOUMI, S., H. LOMBARDI et I. YENGUI. « Projective modules over polynomial rings : a constructive approach ». *Math. Nachr.* 282, p. 792-799.

BOGDANIĆ, D., S. CRVENKOVIĆ et D. A. ROMANO. « Another isomorphism theorem on anti-ordered semigroups ». *Int. J. Contemp. Math. Sci.* 4, p. 241-245.

CONSTABLE, R. L. « Building mathematics-based software systems to advance science and create knowledge. » *Efficient algorithms. Essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday*. Springer, p. 3-17.

COQUAND, T. « Space of valuations ». *Ann. Pure Appl. Logic* 157, p. 97-109.

COQUAND, T., L. DUCOS, H. LOMBARDI et C. QUITTÉ. « Constructive Krull dimension. I. Integral extensions ». *J. Algebra Appl.* 8, p. 129-138.

COQUAND, T., H. LOMBARDI et P. SCHUSTER. « Spectral schemes as ringed lattices ». *Ann. Math. Artif. Intell.* 56, p. 339-360.

LOMBARDI, H. « Algèbre commutative effective : une introduction ». *Cours à l'École du CIMPA*.

— « Mathématiques constructives ». *Bulletin de l'APMEP* 483, p. 449-466.

LOMBARDI, H. et C. QUITTÉ. « Complément 2 : “Principe local-global”. Complément 3 : “Vision des mathématiques constructives sur les modules” ». *Mathématiques L3 : algèbre*. Pearson Education. Chap. 11 : « Modules », p. 679-708.

MITROVIĆ, M., D. A. ROMANO et M. VINČIĆ. « A theorem on semilattice-ordered semigroup ». *Int. Math. Forum* 4, p. 227-232.

NORDVALL FORSBERG, F. « Constructive aspects of models for non-standard analysis ». Mém. de mast. Uppsala universitet.

ROMANO, D. A. « A complete anti-order is the intersection of family of all anti-orders containing it ». *J. Pure Appl. Math. Adv. Appl.* 1, p. 121-128.

— « A complete quasi-antiorder is the intersection of a collection of quasi-antiorders ». *J. Math. Sci. Adv. Appl.* 2, p. 215-220.

— « A construction of anti-ordered group by an anti-ordered semigroup with apartness ». *Bull. Soc. Math. Banja Luka* 16, p. 5-9.

— « A theorem on QA-homomorphisms ». *JP J. Algebra Number Theory Appl.* 13, p. 7-15.

SUKARA-ČELIĆ, B., D. A. ROMANO et V. TELEBAK. « A theorem on weakly regular coequality relation ». *Int. J. Contemp. Math. Sci.* 4, p. 115-120.

## 2010

BEESON, M. « Foreword ». *Retirage de Foundations of Constructive Analysis* par Errett Bishop. Ishi Press International.

COQUAND, T., H. LOMBARDI et C. QUITTÉ. « Curves and coherent Prüfer rings ». *J. Symbolic Comput.* 45, p. 1378-1390.

CRVENKOVIĆ, S., M. MITROVIĆ et D. A. ROMANO. « Complementary pair of quasi-antiorders ». *Rep. Math. Logic*, p. 135-142.

HADJ KACEM, A. et I. YENGUI. « Dynamical Gröbner bases over Dedekind rings ». *J. Algebra* 324, p. 12-24.
ISHIHARA, H. et P. SCHUSTER. « Kronecker's density theorem and irrational numbers in constructive reverse mathematics ». *Math. Semesterber*. 57, p. 57-72.

LOMBARDI, H. « Un anneau de Prüfer ». *Actes Rencontres C.I.R.M.* 2, p. 59-69.

MANNA, B. « Dynamic construction of algebraic closure and a coinductive proof of Hensel's lemma ». Mém. de mast. Chalmers tekniska högskola.

MORRISON, F. et N. L. MORRISON. « Variable precision floating-point computations ». Note.

MÖRTBERG, A. « Constructive algebra in functional programming and type theory ». Mém. de mast. Chalmers tekniska högskola et Göteborgs universitet.

PALMGREN, E. *Remarks on the relation between families of setoids and identity in type theory*. Rapp. tech. 36. Institut Mittag-Leffler.

ROMANO, D. A. « Extensions of rectangular band anti-congruence in semigroup with apartness ». *Int. J. Algebra* 4, p. 809-818.

— « Some characterizations of filed product of quasi-antiorders ». *Acta Univ. Apu-lensis Math. Inform.*, p. 133-138.

— « The lattice of regular coequalities ». *Miskolc Math. Notes* 11, p. 175-181.

ROMANO, D. A. et M. VINČÍC. « On commuting property of filed product of coequality relations ». *J. Math. Sci. Adv. Appl.* 6, p. 113-124.

WILANDER, O. « Setoids and universes ». *Math. Structures Comput. Sci.* 20, p. 563-576.

2011

BRIDGES, D. S. « Characterising weak-operator continuous linear functionals on $B(H)$ constructively ». *Doc. Math.* 16, p. 597-617.

DROSTE, M. et R. GÖBEL. « Countable random $p$-groups with prescribed Ulm-invariants ». *Proc. Amer. Math. Soc.* 139, p. 3203-3216.

FINAU, T. « An investigation of ideals in constructive Banach algebra theory ». Mém. de mast. University of the South Pacific.

LOMBARDI, H. et C. QUITTÉ. *Algèbre commutative : méthodes constructives. Modules projectifs de type fini*. Calvage et Mounet.

NEUKIRCHEN, C. « The concept of set in constructive analysis ». Mém. de lic. Ludwig-Maximilians-Universität München.

O'CONNOR, R. « Classical mathematics for a constructive world ». *Math. Structures Comput. Sci.* 21, p. 861-882.

PERDRY, H. et P. SCHUSTER. « Noetherian orders ». *Math. Structures Comput. Sci.* 21, p. 111-124.

ROMANO, D. A. « A review of isomorphism theorems of anti-ordered semigroups with apartness ». *Research J. Pure Alg.* 1, p. 52-57.

— « An anti-order relation in factor-semigroup induced by a consistent subset ». Споменица академика Веселина Перића. Споменица 8. ANURS.

— « Dedekind partial groupoids for anti-ordered sets ». *Bull. Int. Math. Virtual Inst.* 1, p. 21-26.

— « Extensions of ordered sets – constructive point of view ». *International Journal of Mathematical Archive* 2, p. 969-981.

— « On a particular condition for regular coequality relations. » *Gen. Math. Notes* 2, p. 32-39.
ROMANO, D. A. « On retract extension of ordered set—a constructive point of view ». *International Journal of Mathematical Archive* 2, p. 944-948.

— « On semilattice-ordered semigroups : a constructive point of view ». *Sci. Stud. Res. Ser. Math. Inform.* 21, p. 117-134.

YENGUI, I. « Stably free modules over $R[X]$ of rank > dim $R$ are free ». *Math. Comp.* 80, p. 1093-1098.

2012

BERGER, J., D. S. BRIDGES et E. PALMGREN. « Double sequences, almost Cauchyness and BD-N ». *Log. J. IGPL* 20, p. 349-354.

BERGER, J., H. ISHIHARA et P. SCHUSTER. « The weak Kőnig lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice ». *Rep. Math. Logic*, p. 63-86.

COHEN, C. « Construction of real algebraic numbers in Coq ». *Interactive theorem proving*. Lecture Notes in Comput. Sci. 7406. Springer, p. 67-82. Version française : « Construction des nombres algébriques réels en Coq », *JFLA – Journées francophones des langages applicatifs 2012*.

— « Formalisation des nombres algébriques : construction et théorie du premier ordre ». Thèse de doct. École polytechnique.

COQUAND, T., A. MÖRTBERG et V. SILES. « Coherent and strongly discrete rings in type theory. » *Certified programs and proofs. Second international conference, CPP 2012*. Springer, p. 273-288.

COQUAND, T. et C. QUITTÉ. « Constructive finite free resolutions ». *Manuscripta Math.* 137, p. 331-345.

DÉNÈS, M., A. MÖRTBERG et V. SILES. « A refinement-based approach to computational algebra in Coq ». *Interactive theorem proving*. Lecture Notes in Comput. Sci. 7406. Springer, p. 83-98.

KAWAI, T. « On basic structures of general topology in constructive mathematics ». Mém. de mast. Japan Advanced Institute of Science et Technology.

LAMBEK, J. « The radical approach to infinitesimals in historical perspective ». *C. R. Math. Acad. Sci. Soc. R. Can.* 34, p. 9-22.

LOMBARDI, H. « Constructive semantics for classical formal proofs ». *Bull. Symb. Log.* 18, p. 423-424.

LOMBARDI, H., P. SCHUSTER et I. YENGUI. « The Gröbner ring conjecture in one variable ». *Math. Z.* 270, p. 1181-1185.

LUBARSKY, R., F. RICHMAN et P. SCHUSTER. « The Kripke schema in metric topology ». *MLQ Math. Log. Q.* 58, p. 498-501.

MILOVANOVNIĆ, M. et D. A. ROMANO. « A construction of quasi-antiorders on semigroups generated by coradicals of principal consistent subsets ». *Int. J. Algebra* 6, p. 517-529.

MÖRTBERG, A. *Constructive algebra in type theory*. Rapp. tech. 96L. Mém. de lic. Department of computer science and engineering, Chalmers tekniska högskola et Göteborgs universitet.

PALMGREN, E. « Proof-relevance of families of setoids and identity in type theory ». *Arch. Math. Logic* 51, p. 35-47.

RINALDI, D. « A formal proof of the projective Eisenbud-Evans-Storch theorem ». *Arch. Math. (Basel)* 99, p. 9-24.
ROMANO, D. A. « A construction of a quasi-antiorder by anti-congruence on semigroup with apartness ». *Bull. Int. Math. Virtual Inst.* 2, p. 163-166.

— « On quasi-antiorder in semigroups ». *Mat. Vesnik* 64, p. 190-199.

— « Semilattice-ordered semigroups with apartness representation problem ». *J. Adv. Math. Stud.* 5, p. 13-19.

RUBIO, J. et F. SERGERAERT. « Constructive homological algebra and applications ». arXiv:1208.3816.

2013

ACZEL, P., B. AHRENS, T. ALTENKIRCH, S. AWODEY, B. BARRAS, A. BAUER, Y. BERTOT, M. BEZEM, T. COQUAND, E. FINSTER, D. GRAYSON, H. HERBELIN, A. JOYAL, D. LICATA, P. LUMSDAINE, A. MAHBOUBI, P. MARTIN-LÖF, S. MELIKHOV, A. PELAYO, A. POLONSKY, M. SHULMAN, M. SOZEAU, B. SPITTERS, B. VAN DEN BERG, V. VOEVODSKY, M. WARREN, C. ANGIULI, A. BORDG, G. BRUNERIE, C. KAPULKIN, E. RIJKE, K. SOJAKOVA, J. AVIGAD, C. COHEN, R. CONSTABLE, P.-L. CURIEN, P. DYBJER, M. H. ESCARDÓ, K.-B. HOU, N. GAMBINO, R. GARNER, G. GONTHIER, T. HALES, R. HARPER, M. HOFMANN, P. HOFSTRA, J. KOCH, N. KRAUS, N. LI, Z. LUO, M. NAHAS, E. PALMGREN, E. RIEHL, D. SCOTT, P. SCOTT et S. SOLOVIEV. *Homotopy type theory—univalent foundations of mathematics*. The Univalent Foundations Program.

ACZEL, P., B. VAN DEN BERG, J. GRANSTRÖM et P. SCHUSTER. « Are there enough injective sets ? » *Studia Logica* 101, p. 467-482.

BARENDREGT, H. « Foundations of mathematics from the perspective of computer verification ». *Mathematics, computer science and logic—a never ending story*. Springer, p. 1-49.

BURA, V. B. « Reverse mathematics of divisibility in integral domains ». Mém. de mast. Victoria University of Wellington.

COHEN, C. et T. COQUAND. « A constructive version of Laplace's proof on the existence of complex roots ». *J. Algebra* 381, p. 110-115.

COQUAND, T. et H. LOMBARDI. « Álgebra constructiva ». *La Gaceta de la RSME* 16, p. 293-312. Version espagnole du plaidoyer *L'algèbre constructive*.

CRVENKOVIĆ, S., M. MITROVIĆ et D. A. ROMANO. « Semigroups with apartness ». *MLQ Math. Log. Q.* 59, p. 407-414.

GONTHIER, G., A. ASPERTI, J. AVIGAD, Y. BERTOT, C. COHEN, F. GARILLOT, S. L. ROUX, A. MAHBOUBI, R. O'CONNOR, S. O. BIHA, I. PASCA, L. RIDEAU, A. SOLOVYEV, E. TASSI et L. THÉRY. « A machine-checked proof of the odd order theorem ». *Interactive theorem proving*. Lecture Notes in Comput. Sci. 7998. Springer, p. 163-179.

HENDTLASS, M. « Constructing fixed points and economic equilibria ». Thèse de doct. University of Leeds.

KALTOFEN, E. et G. LECERF. « Factorization of multivariate polynomials ». *Handbook of finite fields*. Discrete Mathematics and its Applications (Boca Raton). CRC Press.

KRAUS, N., M. H. ESCARDÓ, T. COQUAND et T. ALTENKIRCH. « Generalizations of Hedberg's theorem ». *Typed lambda calculi and applications*. Lecture Notes in Comput. Sci. 7941. Springer, p. 173-188.
LECERF, G. « Factorisation des polynômes à plusieurs variables ». *Les cours du CIRM* 3.

LOMBARDI, H. « Les nombres réels calculables selon Alan Turing (un exemple de définition constructive) ». *Quadrature* 90, p. 18-23.

— « Three lectures on constructive algebra ». *Constructive mathematics : foundations and practice*.

MANNAA, B. et T. COQUAND. « Dynamic Newton-Puiseux theorem ». *J. Log. Anal.* 5. Article n°5.

PALMGREN, E. « Bishop-style constructive mathematics in type theory—a tutorial ». *Constructive mathematics : foundations and practice*.

RICHMAN, F. « A constructive theory of minimal zero-dimensional extensions ». *J. Commut. Algebra* 5, p. 545-566.

RINALDI, D. « A constructive notion of codimension ». *J. Algebra* 383, p. 178-196.

SCHUSTER, P. « Induction in algebra : a first case study ». *Log. Methods Comput. Sci.* 9.

VINČIĆ, M. et D. A. ROMANO. « A note on coradical of consistent subset of $\sigma$-reflexive semigroups with apartness ». *Bull. Int. Math. Virtual Inst.* 3, p. 123-126.

2014

ALONSO, M. E., T. COQUAND et H. LOMBARDI. « Revisiting Zariski main theorem from a constructive point of view ». *J. Algebra* 406, p. 46-68.

COHEN, C. et A. MÖRTBERG. « A Coq formalization of finitely presented modules ». *Interactive theorem proving. 5th international conference, ITP 2014*. Springer, p. 193-208.

COQUAND, T. « Recursive functions and constructive mathematics ». *Constructivity and computability in historical and philosophical perspective*. Log. Epistemol. Unity Sci. 34. Springer, p. 159-167.

CROSILLA, L. et P. SCHUSTER. « Finite methods in mathematical practice ». *Formalism and beyond*. Logos 23. De Gruyter, p. 351-410.

DÍAZ-TOCA, G. M., H. LOMBARDI et C. QUITTÉ. *Modules sur les anneaux commutatifs*. Calvage et Mounet.

ILIK, D. « Axioms and decidability for type isomorphism in the presence of sums ». *Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic (CSL) and the twenty-ninth annual ACM/IEEE symposium on logic in computer science (LICS)*. Article n°53. Association for Computing Machinery.

LOMBARDI, H. « Algèbre constructive ». *Les cours du CIRM* 4.

LOMBARDI, H., C. QUITTÉ et I. YENGUI. « Un algorithme pour le calcul des syzygies sur $V[X]$ dans le cas où $V$ est un domaine de valuation ». *Comm. Algebra* 42, p. 3768-3781.

MANNAA, B. « Constructive Newton-Puiseux Theorem : sheaf model of the separable closure and dynamic evaluation ». Mém. de lic. Göteborgs universitet.

MANNAA, B. et T. COQUAND. « A sheaf model of the algebraic closure ». *Proceedings fifth international workshop on classical logic and computation*. Electron. Proc. Theor. Comput. Sci. 164. EPTCS, p. 18-32.
MÖRTBERG, A. « Formalizing refinements and constructive algebra in type theory ». Thèse de doct. Göteborgs universitet.

PALMGREN, E. « Lecture notes on type theory ». Notes de cours.

PERDRY, H. et P. SCHUSTER. « Constructing Gröbner bases for Noetherian rings ». *Math. Structures Comput. Sci.* 24. e240206.

RICHMAN, F. « A theorem of Gilmer and the canonical universal splitting ring ». *J. Commut. Algebra* 6, p. 101-108.

RINALDI, D. « Formal methods in the theories of rings and domains ». Thèse de doct. Ludwig-Maximilians-Universität München.

RODRIGUEZ CABALLERO, J. M. « L'approximation diophantienne simultanée et l'optimisation discrète ». Mém. de mast. Université de Montréal.

TÊTE, C. « Profondeur, dimension et résolutions en algèbre commutative : quelques aspects effectifs ». Thèse de doct. Université de Poitiers.

## 2015

ACZEL, P., H. ISHIHARA, T. NEMOTO et Y. SANGU. « Generalized geometric theories and set-generated classes ». *Math. Structures Comput. Sci.* 25, p. 1466-1483.

BARRAS, B., T. COQUAND et S. HUBER. « A generalization of the Takeuti-Gandy interpretation ». *Math. Structures Comput. Sci.* 25, p. 1071-1099.

DUCOS, L., A. VALIBOUZE et I. YENGUI. « Computing syzygies over $V[X_1, \dots, X_k]$, V a valuation domain ». *J. Algebra* 425, p. 133-145.

GÁLVEZ VERDUGO, W. E. « Algoritmos en línea para problemas de balanceamiento robusto ». Mém. de mast. Universidad de Chile.

LOMBARDI, H. et C. QUITTÉ. *Commutative algebra : constructive methods : finite projective modules*. Traduction augmentée de l'ouvrage paru en 2011. Algebra and Applications 20. Springer.

MADORE, D. A. et F. ORGOGOZO. « Calculabilité de la cohomologie étale modulo $l$ ». *Algebra Number Theory* 9, p. 1647-1739.

MITROVIĆ, M., S. CRVENKOVIĆ et D. A. ROMANO. « Semigroups with apartness : constructive versions of some classical theorems ». *46th annual Iranian mathematics conference*, p. 64-67.

PELAYO, Á., V. VOEVODSKY et M. A. WARREN. « A univalent formalization of the $p$-adic numbers ». *Math. Structures Comput. Sci.* 25, p. 1147-1171.

RIJKE, E. et B. SPITTERS. « Sets in homotopy type theory ». *Math. Structures Comput. Sci.* 25, p. 1172-1202.

YENGUI, I. *Constructive commutative algebra : projective modules over polynomial rings and dynamical Gröbner bases*. Lecture Notes in Mathematics 2138. Springer.

## 2016

BRIDGES, D., H. DIENER, B. KEARFOTT, V. KREINOVICH, P. MELIN, R. SAINUDIIN et H. SCHWICHTENBERG. *16w5099—Interval analysis and constructive mathematics*. Rapp. final. Banff international research station.

CANO, G., C. COHEN, M. DÉNÈS, A. MÖRTBERG et V. SILES. « Formalized linear algebra over elementary divisor rings in Coq ». *Log. Methods Comput. Sci.* 12. Article n° 7.
COQUAND, T. et H. LOMBARDI. « Anneaux à diviseurs et anneaux de Krull (une approche constructive) ». *Comm. Algebra* 44, p. 515-567.

— « Some remarks about normal rings ». *Concepts of proof in mathematics, philosophy, and computer science*. Ontos Math. Log. 6. De Gruyter, p. 141-149.

CROSILLA, L. « Matematica costruttiva ». *APhEx (Analytical and Philosophical Ex-planation)* 14.

CRVENKOVIĆ, S., M. MITROVIĆ et D. A. ROMANO. « Basic notions of (constructive) semigroups with apartness ». *Semigroup Forum* 92, p. 659-674.

DUCOS, L., S. MONCEUR et I. YENGUI. « Computing the V-saturation of finitely-generated submodules of $V[X]^m$ where V is a valuation domain ». *J. Symbolic Comput.* 72, p. 196-205.

ILIK, D. « Perspectives for proof unwinding by programming languages techniques ». arXiv:1605.09177.

MANNAA, B. « Sheaf semantics in constructive algebra and type theory ». Thèse de doct. Göteborgs universitet.

OSINENKO, P., G. DEVADZE et S. STREIF. « A note on constructive treatment of eigenvectors ». arXiv:1607.04108.

ROMANO, D. A. « A new analysis of regular coequality relation ». *Bull. Int. Math. Virtual Inst.* 6, p. 259-267.

— « A note on regular coequality relation ». « On coequality relation and its copartition on set with apartness ». « Some important classes of subsets in sets with apartness ». Prépubl.

SHITOV, Y. « A matrix ring with commuting graph of maximal diameter ». *J. Combin. Theory Ser. A* 141, p. 127-135.

WAHDAN, Z. A. A. H. « Codes over rings ». Mém. de mast. جامعة بيزيت.

ZHANG, Y. et L. LIAO. « An algebraic specification language for organizational behavior of OOMAS ». *Proceedings of the 1st international workshop on specification, comprehension, testing, and debugging of concurrent programs*. Association for Computing Machinery, p. 1-6.

2017

BARHOUMI, S. « Computing syzygies over $R[X_1^{\pm 1},...,X_n^{\pm 1}]$, R a valuation ring ». *JP J. Algebra Number Theory Appl.* 39, p. 661-670.

COQUAND, T., H. LOMBARDI et S. NEUWIRTH. « A constructive theory of ordinals ». En préparation.

CRVENKOVIĆ, S., M. MITROVIĆ et B. M. RANDJELOVIĆ. « Constructive semigroups with apartness : foundations of the order theory ». *6th international conference Logic and applications LAP 2017*, p. 34-36.

EKHLASS, A. A. A. A. « On Coherent Modules ». Mém. de lic. جامعة القادية.

EVSEEV, A. et S. TSUCHIOKA. « On graded Cartan invariants of symmetric groups and Hecke algebras ». *Math. Z.* 285, p. 177-213.

KRAUS, N., M. H. ESCARDÓ, T. COQUAND et T. ALTENKIRCH. « Notions of anonymous existence in Martin-Löf type theory ». *Log. Methods Comput. Sci.* 13. Article n° 15.

OUWEHAND, D. « Local rigid cohomology of weighted homogeneous hypersurface singularities ». Thèse de doct. Humboldt-Universität zu Berlin.
POSUR, S. « A constructive approach to Freyd categories ». arXiv:1712.03492.

RINALDI, D., P. SCHUSTER et D. WESSEL. « Eliminating disjunctions by disjunction elimination ». *Bull. Symb. Log.* 23, p. 181-200.

ROMANO, D. A. « A result on the lattice of all co-ideals and the lattice of all co-filters of ordered sets under co-quasiorder ». Prépubl.

— « On some mappings between co-quasiordered relational systems ». *Bull. Int. Math. Virtual Inst.* 7, p. 279-291.

— « Weakly isotone and strongly reverse isotone mappings of relational systems ». *Bull. Int. Math. Virtual Inst.* 7, p. 293-303.

2018

BARTELS, T., U. SCHREIBER, M. SHULMAN et B. SPITTERS. *Bishop's constructive mathematics*. nLab.

BLECHSCHMIDT, I. « Flabby and injective objects in toposes ». arXiv:1810.12708.

— « Using the internal language of toposes in algebraic geometry ». Thèse de doct. Universität Augsburg.

BRIDGES, D. S. et E. PALMGREN. « Constructive mathematics ». *The Stanford Encyclopedia of Philosophy*. Metaphysics Research Lab.

COQUAND, T. « Combinatorial topology and constructive mathematics ». *Indag. Math. (N.S.)* 29, p. 1637-1648.

COQUAND, T., H. LOMBARDI, C. QUITTÉ et C. TÊTE. « Résolutions libres finies : méthodes constructives ». arXiv:1811.01873.

ISHIHARA, H. « Constructive functional analysis : an introduction ». *Proof and computation : digitization in mathematics, computer science, and philosophy*. World Scientific. Chap. 4, p. 109-165.

JOSEPH, J. S. « Axioms for the real numbers : a constructive approach ». arXiv: 1808.00906.

— « On generalized ordered sets : a constructive development ». arXiv:1809.05230.

— « The surreal numbers as an ordered commutative ring with an apartness : a development in univalent foundations ». arXiv:1812.00051.

LEMOS, A. et P. H. A. de OLIVEIRA. « Suggested corrections for “A principal ideal domain that is not a Euclidean domain” ». *Amer. Math. Monthly* 125, p. 425.

MITROVIĆ, M. et S. SILVESTROV. « On basic constructive algebraic structures with apartness ». *7th international conference Logic and applications LAP 2018*, p. 34-36.

PETRAKIS, I. « Mathematical logic ». Notes de cours.

RINALDI, D., P. SCHUSTER et D. WESSEL. « Eliminating disjunctions by disjunction elimination ». *Indag. Math. (N.S.)* 29, p. 226-259.

ROMANO, D. A. « Co-filters in semilattice-ordered semigroup with apartness ». *J. Adv. Math. Stud.* 11, p. 124-131.

— « Co-ideals and co-filters in ordered set under co-quasiorder ». *Bull. Int. Math. Virtual Inst.* 8, p. 177-188.

— « Semilattice ordered semi-rings with apartness ». *J. Adv. Math. Stud.* 11, p. 496-502.

— « Up-algebra with apartness ». Prépubl.

SHULMAN, M. « Linear logic for constructive mathematics ». arXiv:1805.07518.
TASCHNER, R. *Vom Kontinuum zum Integral. Eine Einführung in die intuitionistische Mathematik*. Springer.

WESSEL, D. « Choice, extension, conservation : from transfinite to finite proof methods in abstract algebra ». Thèse de doct. Università degli studi di Trento et Università degli studi di Verona.

2019

CHAN, Y.-K. « Foundations of constructive probability theory ». arXiv:1906.01803.

CHERUBINI, A. et A. FRIGERI. « Inverse semigroups with apartness ». *Semigroup Forum* 98, p. 571-588.

COQUAND, T., H. LOMBARDI et S. NEUWIRTH. « Lattice-ordered groups generated by an ordered group and regular systems of ideals ». *Rocky Mountain J. Math.* 49, p. 1449-1489.

FELLIN, G., P. SCHUSTER et D. WESSEL. « The Jacobson radical of a propositional theory ». *5th international workshop on structures and deduction*.

GRINBERG, D. « λ-rings : definitions and basic properties ». Note.

JOSEPH, J. S. « A problem involving polynomials over a finite ring : a solution in a quantum system ». Prépubl.

MITROVIĆ, M., S. SILVESTROV, S. CRVENKOVIĆ et D. A. ROMANO. « Constructive semigroups with apartness : towards a new algebraic theory ». *J. Phys. Conf. Ser.* 1194.

NEUNHÄUSERER, J. *Einführung in die Philosophie der Mathematik*. Springer.

PETRAKIS, I. « Dependent sums and dependent products in Bishop's set theory ». *24th international conference on types for proofs and programs (TYPES 2018)*. Leibniz International Proceedings in Informatics (LIPIcs) 130. Schloss Dagstuhl Leibniz-Zentrum für Informatik, 3:1-3:21.

— « Direct spectra of Bishop spaces and their limits ». arXiv:1907.03273.

POSUR, S. « Closing the category of finitely presented functors under images made constructive ». arXiv:1911.11469.

— « Methods of constructive category theory ». arXiv:1908.04132.

ROMANO, D. A. « A remark on co-ideals in implicative semigroups with apartness ». « BCK-algebras with apartness ». « Co-filterss in Γ-semigroups ordered under co-order ». « Co-filterss in Γ-semigroups ordered under co-quasiorder ». « Co-ideals and quotients of co-quasiordered residuated systems ». « Ordered Γ-semirings with apartness under co-order ». « Ordered sets under co-quasiorder, a survey ». « Perception of Hilbert algebras in a non-classical principled-logical framework : Hilbert algebras with apartness ». « Semilattice co-congruence in Γ-semigroups ». Prépubl.

— « Co-quasiordered residuated systems : an introduction ». *Asian-Eur. J. Math.* 12.

— « Γ-semigroups with apartness ». *Bull. Allahabad Math. Soc.* 34, p. 71-83.

— « Γ-semirings with apartness ». *Rom. J. Math. Comput. Sci.* À paraitre.

— « On co-filterss in co-quasiordered residuated systems ». *Ikonion J. Math.* 1, p. 27-33.

— « On co-ideals of implicative semigroups with apartness ». *Turk. J. Math. Comput. Sci.* 11, p. 101-106.
— « On coequality relations on set with apartness ». *Bull. Int. Math. Virtual Inst.* 9, p. 1-9.

— « Perception of BCC-algebras under the Bishop's principled-philosophical orientation : BCC-algebra with apartness ». *Filomat* 33, p. 6369-6380.

— « Some algebraic structures with apartness, a review ». *J. Int. Math. Virtual Inst.* 9, p. 361-395.

WESSEL, D. « Ordering groups constructively ». *Comm. Algebra* 47, p. 4853-4873.

2020

BONACINA, R. et D. WESSEL. « Ribenboim's order extension theorem from a constructive point of view ». *Algebra Universalis* 81. Article n°5.

DÍAZ-TOCA, G. M. et H. LOMBARDI. « Calcul matriciel généralisé sur les domaines de Prüfer ». *Bull. Sci. Math.* 159. Version préliminaire en anglais : « A pseudomatrix approach to Prüfer domains », *XV encuentro de álgebra computacional y aplicaciones, EACA 2016*, Universidad de La Rioja, 2016.

GAMANDA, M., H. LOMBARDI, S. NEUWIRTH et I. YENGUI. « The syzygy theorem for Bézout rings ». *Math. Comp.* 89, p. 941-964.

LOMBARDI, H. « Spectral spaces versus distributive lattices : a dictionary ». *Proceedings of the conference on rings and factorizations*. Springer. À paraitre. Version française : « Treillis distributifs et espaces spectraux, un petit dictionnaire », arXiv:1812.06277.

RICHMAN, F. « Laurent series over $\mathbb{R}$ ». *Comm. Algebra*. À paraitre.

ROMANO, D. A. « On co-filters in semigroups with apartness ». *Kragujevac J. Math.* 45, p. 607-613.

— « Quotient structures of implicative semigroup with apartness ». Prépubl.