Stefan Neuwirth maitre de conférences à l’Université Marie et Louis Pasteur

Identifiants chercheurs

IdHAL :

stefan-neuwirth

ORCID :

0000-0001-9139-4911

IdRef :

177558768

arXiv :

neuwirth_s_1

VIAF :

54154074474311742277

Publications

Article dans une revue (28)

Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings Henri Lombardi,Stefan Neuwirth,Ihsen Yengui Journal of Symbolic Computation, 2026, 135, pp.102526. ⟨10.1016/j.jsc.2025.102526⟩ Article dans une revue hal-04799551v1
Multivariate Hensel Lemma for ultrametric fields María Emilia Alonso García,Henri Lombardi,Stefan Neuwirth Journal of Algebra, 2025, 667, pp.803-823. ⟨10.1016/j.jalgebra.2024.12.027⟩ Article dans une revue hal-05519146v1
Algebraic and logistic investigations on free lattices Paul Lorenzen,Stefan Neuwirth History and Philosophy of Logic, 2025, 46 (4), pp.546-570. ⟨10.1080/01445340.2024.2444825⟩ Article dans une revue hal-01620945v3
L’émergence du concept d’idéal chez Richard Dedekind Gwennaëlle Vidal,Stefan Neuwirth Mathématiques vivantes : bulletin de l'IREM de Besançon, 2025, 74, pp.1-80 Article dans une revue hal-05555331v1
An introduction to Lorenzen's ``Algebraic and logistic investigations on free lattices'' (1951) Thierry Coquand,Henri Lombardi,Stefan Neuwirth History and Philosophy of Logic, 2025, 46 (4), pp.525-545. ⟨10.1080/01445340.2024.2439683⟩ Article dans une revue hal-01629913v3
Valuative dimension, constructive points of view Stefan Neuwirth,Henri Lombardi,Ihsen Yengui Journal of Algebra, 2024, 647, pp.206-229. ⟨10.1016/j.jalgebra.2024.02.029⟩ Article dans une revue hal-04274384v2
Note on the coincidence of two henselisations María Emilia Alonso García,Henri Lombardi,Stefan Neuwirth Journal of Algebra and Its Applications, 2024, ⟨10.1142/S021949882650194X⟩ Article dans une revue hal-04803641v1
Modèle Ludwig Boltzmann,Michel Bourdeau,Stefan Neuwirth Cahiers philosophiques, 2024, 176 (1), pp.86-94. ⟨10.3917/caph1.176.0088⟩ Article dans une revue hal-05519595v1
Présentation de l’article « modèle » de Ludwig Boltzmann Michel Bourdeau,Stefan Neuwirth Cahiers philosophiques, 2024, 176 (1), pp.77-85. ⟨10.3917/caph1.176.0079⟩ Article dans une revue hal-05519592v1
Éditorial Stefan Neuwirth,Michel Henry,Henri Lombardi,François Pétiard,Jean-Claude Fontaine Mathématiques vivantes : bulletin de l'IREM de Besançon, 2022, 72, pp.1-8 Article dans une revue hal-05540907v1
Mathématiques à la Grande Échelle Stefan Neuwirth Repères IREM, 2021, Mathématiques en plein air, 124, pp.5-8 Article dans une revue hal-03522059v1
Le Mont d'Or mathématique : post-scriptum aux « Mathématiques à la Grande Échelle » Stefan Neuwirth Repères IREM, 2021, 125, pp.63-67 Article dans une revue hal-03544790v1
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⟩ Article dans une revue hal-02923338v2
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, 41 (3), pp.281-290. ⟨10.1080/01445340.2020.1752034⟩ Article dans une revue hal-02866976v1
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⟩ Article dans une revue hal-02126786v4
Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis Paul Lorenzen,Stefan Neuwirth History and Philosophy of Logic, 2020, 41 (3), pp.265-280. ⟨10.1080/01445340.2020.1752040⟩ Article dans une revue hal-01620863v2
Un cours Littérature et mathématiques Spangle Durac,Claude Merker,Stefan Neuwirth Repères IREM, 2019, 115, pp.53-64 Article dans une revue hal-03521851v1
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⟩ Article dans une revue hal-01943079v2
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⟩ Article dans une revue hal-01427208v4
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 Article dans une revue hal-01574845v1
Euclide avait-il besoin de l’algorithme d’Euclide pour démontrer l’unicité de la factorisation? David Pengelley,Fred Richman,Stefan Neuwirth,Henri Lombardi Repères IREM, 2015, 98, pp.53-64 Article dans une revue hal-01133291v1
Transfer of Fourier multipliers into Schur multipliers and sumsets in a discrete group Stefan Neuwirth,Éric Ricard Canadian Journal of Mathematics = Journal Canadien de Mathématiques, 2011, 63 (5), pp.1161-1187. ⟨10.4153/CJM-2011-053-9⟩ Article dans une revue hal-00451399v2
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⟩ Article dans une revue hal-00135804v1
Cycles and 1-unconditional matrices Stefan Neuwirth Proceedings of the London Mathematical Society, 2006, 93 (3), pp.761-790. ⟨10.1017/S0024611506015899⟩ Article dans une revue 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⟩ Article dans une revue istex hal-00475267v1
Lacunary matrices Asma Harcharras,Stefan Neuwirth,Krzysztof Oleszkiewicz Indiana University Mathematics Journal, 2001, 50 (4), pp.1675-1690. ⟨10.1512/iumj.2001.50.1952⟩ Article dans une revue hal-05519611v1
Two random constructions inside lacunary sets Stefan Neuwirth Annales de l'Institut Fourier, 1999, 49 (6), pp.1853-1867. ⟨10.5802/aif.1740⟩ Article dans une revue hal-05570915v1
Metric unconditionality and Fourier analysis Stefan Neuwirth Studia Mathematica, 1998, 131 (1), pp.19-62. ⟨10.4064/sm-131-1-19-62⟩ Article dans une revue hal-05570745v1

Communication dans un congrès (15)

Thierry Coquand and Paul Lorenzen Stefan Neuwirth Workshop in honour of Thierry Coquand's 60th birthday, Ana Bove; Anders Mörtberg; Andreas Abel; Peter Dybjer; Peter LeFanu Lumsdaine, Aug 2022, Göteborg, Sweden Communication dans un congrès hal-05537937v1
The philosophy of dynamical algebra Stefan Neuwirth Proof and Computation 2022 (PC22), Klaus Mainzer; Peter Schuster; Helmut Schwichtenberg, Sep 2022, Fischbachau, Germany Communication dans un congrès hal-05537973v1
Le cours comme improvisation collective Stefan Neuwirth Colloque international « Improviser l’enseignement… Enseigner I’improvisation », IEEI 2021, Université de Montpellier, Jun 2021, Montpellier, France Communication dans un congrès 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 Communication dans un congrès hal-03523488v1
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 Communication dans un congrès hal-03523510v1
Constructiveness and lattices in Lorenzen's work Stefan Neuwirth Geometric Logic, Constructivisation, and Automated Theorem Proving, Schloss Dagstuhl, Nov 2021, Wadern, Germany Communication dans un congrès hal-03525671v1
Lorenzen’s noncommutative divisibility theories Stefan Neuwirth Conference “Algebra and Algorithms”, Università degli studi di Verona; Université de Sfax, Feb 2020, Djerba, Tunisia Communication dans un congrès hal-03523683v1
Improvisation et mathématiques Stefan Neuwirth Colloque du cinquantenaire des IREM, May 2019, Besançon, France Communication dans un congrès hal-03523564v1
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 Communication dans un congrès hal-03643423v1
Philosophie de l’algèbre dynamique Stefan Neuwirth Dixième Rencontre Française de Philosophie des Mathématiques (FPMW10), Nov 2018, Paris, France Communication dans un congrès hal-03523808v1
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 Communication dans un congrès hal-03523713v1
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 Communication dans un congrès hal-03525746v1
Lorenzen's free semilattices over integral domains Stefan Neuwirth Conference on rings and polynomials, TU Graz, Jul 2016, Graz, Austria Communication dans un congrès hal-03523459v1
Les problèmes philologiques posés par les paradoxes de Zénon Stefan Neuwirth Histoire et philosophie des mathématiques et des disciplines associées, en Méditerranée, Aix Marseille Université, Nov 2015, Marseille, France Communication dans un congrès hal-03523423v1
On the (Fourier analytic) Sidon constant of {0,1,2,3} Stefan Neuwirth 4th Workshop on Fourier Analysis and Related Fields, Imre Z. Ruzsa; Szilárd Révész; Máté Matolcsi, Aug 2013, Budapest, Hungary Communication dans un congrès hal-05570948v1

Ouvrages (2)

Le schème et le diagramme Fabien Ferri,Arnaud Macé,Stefan Neuwirth Presses universitaires de Franche-Comté, pp.172, 2024, 978-2-84867-994-5. ⟨10.4000/books.pufc.54961⟩ Ouvrages hal-04555879v1
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 Ouvrages hal-03521758v2

Chapitre d'ouvrage (10)

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. Le schème et le diagramme : les ancrages matériels de la pensée et le partage visuel des connaissances, Presses universitaires de Franche-Comté, pp.35-48, 2024, Sciences : concepts et problèmes, 978-2-84867-994-5. ⟨10.4000/books.pufc.54961⟩ Chapitre d'ouvrage hal-03523948v1
Constructive theory of ordinals Thierry Coquand,Henri Lombardi,Stefan Neuwirth Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Michael Schuster. Mathematics for Computation - M4C, World Scientific, pp.287-318, 2023, 978-981-124-521-3. ⟨10.1142/9789811245220_0012⟩ Chapitre d'ouvrage hal-03522215v2
Zénon, les philologues et les scientifiques Stefan Neuwirth Philippe Abgrall. Histoire et philosophie des mathématiques en Méditerranée, Presses Universitaires de Provence, pp.51-65, 2023, Epistémè Chapitre d'ouvrage hal-03521670v1
« 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 Chapitre d'ouvrage hal-03104374v2
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⟩ Chapitre d'ouvrage hal-02896900v1
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⟩ Chapitre d'ouvrage hal-02418320v2
Lorenzen’s correspondence with Hasse, Krull, and Aubert, together with some relevant documents Stefan Neuwirth,Helmut Hasse,Paul Lorenzen,Wolfgang Krull,Karl Egil Aubert Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen -- Mathematician and Logician, 51, Springer, pp.185-268, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_10⟩ Chapitre d'ouvrage hal-05519471v1
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 Chapitre d'ouvrage hal-01349250v1
Ensembles uniformément répartis et ensembles Λ(p) Stefan Neuwirth Gustave Choquet; Gilles Godefroy; Marc Rogalski; Jean Saint Raymond. Séminaire d'initiation à l'analyse : 37ème et 38ème années : 1997-1999, Université Pierre et Marie Curie, 1999, Publications mathématiques de l'Université Pierre et Marie Curie Chapitre d'ouvrage hal-05571271v1
Inconditionnalité métrique en analyse de Fourier Stefan Neuwirth Gustave Choquet; Gilles Godefroy; Marc Rogalski; Jean Saint Raymond. Séminaire d’initiation à l’analyse : 36ème année : 1996/1997, Université Pierre et Marie Curie, 1997, Publications mathématiques de l'Université Pierre et Marie Curie Chapitre d'ouvrage hal-05571268v1

Autre publication scientifique (1)

Introduction Fabien Ferri,Arnaud Macé,Stefan Neuwirth Le schème et le diagramme, 2024, pp.9-15. ⟨10.4000/books.pufc.55051⟩ Autre publication scientifique hal-05240504v1

Pré-publication, Document de travail (5)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Stefan Neuwirth,Henri Lombardi,Thierry Coquand 2024 Pré-publication, Document de travail hal-04799576v1
Azumaya algebras and Barr's Theorem Thierry Coquand,Henri Lombardi,Stefan Neuwirth 2026 Pré-publication, Document de travail hal-05571421v1
Constructive basic theory of central simple algebras Thierry Coquand,Henri Lombardi,Stefan Neuwirth 2021 Pré-publication, Document de travail hal-03521782v1
Enquête sur les modes d'existence des êtres mathématiques (version augmentée) Guy Wallet,Stefan Neuwirth 2018 Pré-publication, Document de travail hal-01824928v3
The size of bipartite graphs with girth eight Stefan Neuwirth 2001 Pré-publication, Document de travail hal-05570934v1

Thèse (1)

Multipliers and functional analysis Stefan Neuwirth Mathematics [math]. Université Pierre et Marie Curie - Paris VI, 1999. English. ⟨NNT : ⟩ Thèse tel-00010399v1

HDR (1)

Quantitative aspects of unconditionality Stefan Neuwirth Classical Analysis and ODEs [math.CA]. Université de Franche-Comté (UFC), 2008 HDR tel-02276162v1