Access content directly

Stefan Neuwirth

35
Documents

Publications

Image document

Mathématiques à la Grande Échelle

Stefan Neuwirth
Repères IREM, 2021, Mathématiques en plein air, 124, pp.5-8
Journal articles hal-03522059v1
Image document

Le Mont d'Or mathématique : post-scriptum aux « Mathématiques à la Grande Échelle »

Stefan Neuwirth
Repères IREM, 2021, 125, pp.63-67
Journal articles hal-03544790v1
Image document

On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case

María Emilia Alonso García , Henri Lombardi , Stefan Neuwirth
Journal of Algebra, 2021, 570, pp.587-594. ⟨10.1016/j.jalgebra.2020.11.020⟩
Journal articles hal-02923338v2
Image document

Lorenzen's proof of consistency for elementary number theory [with an edition and translation of “Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis”]

Thierry Coquand , Stefan Neuwirth
History and Philosophy of Logic, 2020, ⟨10.1080/01445340.2020.1752034⟩
Journal articles hal-02866976v1
Image document

The syzygy theorem for Bézout rings

Maroua Gamanda , Henri Lombardi , Stefan Neuwirth , Ihsen Yengui
Mathematics of Computation, 2020, 89, pp.941-964. ⟨10.1090/mcom/3466⟩
Journal articles hal-02126786v4
Image document

Enquête sur les modes d'existence des êtres mathématiques

Guy Wallet , Stefan Neuwirth
Philosophia Scientiae, 2019, 23-3, pp.83-108. ⟨10.4000/philosophiascientiae.2080⟩
Journal articles hal-01943079v2
Image document

Lattice-ordered groups generated by an ordered group and regular systems of ideals

Thierry Coquand , Henri Lombardi , Stefan Neuwirth
Rocky Mountain Journal of Mathematics, 2019, 49 (5), pp.1449-1489. ⟨10.1216/RMJ-2019-49-5-1449⟩
Journal articles hal-01427208v4
Image document

Roger Apéry, l'humour au service d'une pensée libre et originale sur les mathématiques constructives

Henri Lombardi , Stefan Neuwirth
Repères-IREM, 2017, 107, pp.45-56
Journal articles hal-01574845v1
Image document

Transfer of Fourier multipliers into Schur multipliers and sumsets in a discrete group

Stefan Neuwirth , Éric Ricard
Canadian Journal of Mathematics, 2011, 63 (5), pp.1161-1187. ⟨10.4153/CJM-2011-053-9⟩
Journal articles hal-00451399v2
Image document

The maximum modulus of a trigonometric trinomial

Stefan Neuwirth
Journal d'analyse mathématique, 2008, 104 (1), pp.371-396. ⟨10.1007/s11854-008-0028-2⟩
Journal articles hal-00135804v1

Cycles and 1-unconditional matrices

Stefan Neuwirth
Proceedings of the London Mathematical Society, 2006, 93 (3), pp.761-790. ⟨10.1017/S0024611506015899⟩
Journal articles hal-00473583v1

Matrix inequalities with applications to the theory of iterated kernels

Éric Ricard , Stefan Neuwirth , William Banks , Asma Harcharras
Linear Algebra and its Applications, 2003, 362, pp.275--286. ⟨10.1016/S0024-3795(02)00517-7⟩
Journal articles hal-00475267v1

Hermann Weyl and Paul Lorenzen on predicative mathematics

Henri Lombardi , Stefan Neuwirth
Weyl 2021: a workshop dedicated to Hermann Weyl's philosophy of mathematics, Universitetet i Oslo, Dec 2021, Oslo, Norway
Conference papers hal-03523510v1
Image document

Le cours comme improvisation collective

Stefan Neuwirth
Colloque international « Improviser l’enseignement… Enseigner I’improvisation », IEEI 2021, Université de Montpellier, Jun 2021, Montpellier, France
Conference papers hal-03523633v1

Paul Lorenzen's reception of Gödel's incompleteness theorems

Stefan Neuwirth
Celebrating 90 Years of Gödel's Incompleteness Theorems, Carl Friedrich von Weizsäcker-Zentrum, Eberhard Karls Universität Tübingen, Jul 2021, Nürtingen, Germany
Conference papers hal-03523488v1

Lorenzen’s noncommutative divisibility theories

Stefan Neuwirth
Conference “Algebra and Algorithms”, Università degli studi di Verona; Université de Sfax, Feb 2020, Djerba, Tunisia
Conference papers hal-03523683v1

Ancrages matériels de l’éléatisme II : la sphère de Parménide

Arnaud Macé , Stefan Neuwirth
Colloque « Ancrages matériels, imagination diagrammatique et publication encyclopédique », Fabien Ferri; Arnaud Macé; Stefan Neuwirth, Nov 2019, Besançon, France
Conference papers hal-03643423v1

Improvisation et mathématiques

Stefan Neuwirth
Colloque du cinquantenaire des IREM, May 2019, Besançon, France
Conference papers hal-03523564v1

Paul Lorenzen et l'effondrement des preuves de non-contradiction

Stefan Neuwirth
Eurêka ! Le récit savant de découverte et/ou d'invention, Centre de Recherches Interdisciplinaires et Transculturelles (CRIT), Université de Franche-Comté, Nov 2018, Besançon, France
Conference papers hal-03523713v1
Image document

Philosophie de l’algèbre dynamique

Stefan Neuwirth
Dixième Rencontre Française de Philosophie des Mathématiques (FPMW10), Nov 2018, Paris, France
Conference papers hal-03523808v1
Image document

Littérature et mathématiques

Stefan Neuwirth
Forum Mathématiques vivantes: mathématiques et langages, Maison des mathématiques et de l’informatique, Mar 2017, Lyon, France
Conference papers hal-03525746v1
Image document

Lorenzen's free semilattices over integral domains

Stefan Neuwirth
Conference on rings and polynomials, TU Graz, Jul 2016, Graz, Austria
Conference papers hal-03523459v1

Un cours d'algèbre constructive

Ray Mines , Fred Richman , Wim Ruitenburg , Henri Lombardi , Stefan Neuwirth
Presses universitaires de Franche-Comté, 2020, Pratiques et techniques, série Didactiques, mathématiques, Martin Meyer, 978-2-84867-782-8
Books hal-03521758v1
Image document

Expériences de l’infini et de la généralité dans le premier livre des Éléments d’Euclide

Stefan Neuwirth
Fabien Ferri; Arnaud Macé; Stefan Neuwirth. Ancrages matériels, imagination diagrammatique et publication encyclopédique, Presses universitaires de Franche-Comté, A paraître, Sciences : concepts et problèmes
Book sections hal-03523948v1
Image document

Constructive theory of ordinals

Thierry Coquand , Henri Lombardi , Stefan Neuwirth
Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster. Mathematics for Computation - M4C, World Scientific, In press
Book sections hal-03522215v1
Image document

« C'est comme œuf » : Paul Lorenzen et l'effondrement des preuves de non-contradiction

Stefan Neuwirth
Laurence Dahan-Gaida. Eurêka ! Récits savants de découverte et d invention, Hermann, pp.241-258, 2022, Cahiers d'histoire et de philosophie des sciences, 9791037019622
Book sections hal-03104374v2
Image document

Regular entailment relations

Thierry Coquand , Henri Lombardi , Stefan Neuwirth
Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen -- Mathematician and Logician, 51, Springer, pp.103-114, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_7⟩
Book sections hal-02418320v2
Image document

Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1938--1953) [with an edition of Lorenzen's correspondence with Hasse, Krull, and Aubert, together with some relevant documents]

Stefan Neuwirth
Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen -- Mathematician and Logician, 51, Springer, pp.143-268, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_9⟩
Book sections hal-02896900v1
Image document

Un cours “Musique et mathématiques”

Stefan Neuwirth
Luis Radford; Fulvia Furinghetti; Thomas Hausberger. Proceedings of the 2016 ICME satellite meeting of the International study group on the relations between the History and Pedagogy of Mathematics, IREM de Montpellier, pp.715-725, 2016, 2-909916-51-0
Book sections hal-01349250v1
Image document

Multipliers and functional analysis

Stefan Neuwirth
Mathematics [math]. Université Pierre et Marie Curie - Paris VI, 1999. English. ⟨NNT : ⟩
Theses tel-00010399v1
Image document

Quantitative aspects of unconditionality

Stefan Neuwirth
Classical Analysis and ODEs [math.CA]. Université de Franche-Comté (UFC), 2008
Habilitation à diriger des recherches tel-02276162v1