36 citations · 106 across the 22 of their papers we have counts for
23 papers
Two random constructions inside lacunary sets
Stefan Neuwirth
We study the relationship between the growth rate of an integer sequence and harmonic and functional properties of the corresponding sequence of characters. In particular we show t…
Azumaya algebras and Barr Theorem
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivale…
Experiences of infinity and of generality in Book I of Euclid's Elements
Stefan Neuwirth
This article proposes a reading of Book I of Euclid's Elements with an emphasis of the experiences of infinity supplied by it, as a preparatory study for a research on the embodied…
A course Literature and mathematics
Spangle Durac, Claude Merker, Stefan Neuwirth
This article gives an account of a teaching experience carried out from 2008 to 2021 at the university of Franche-Comt{é} as an answer to the ministerial command of proposing cross…
Zeno, the philologists, and the scientists
Stefan Neuwirth
This article proposes a fresh and direct reading of foundational texts of philosophy and aims at bringing back the inflamed debates that are contemporaneous with the birth of Greek…
Constructive theory of ordinals
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
In Chapter 3 of his Notes on constructive mathematics, Martin-L{ö}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable…