Stefan Neuwirth

84 %
Libre accès
56
Documents
Affiliation actuelle
  • Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB)
Contact

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

É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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

« 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

Multipliers and functional analysis

Stefan Neuwirth

Mathematics [math]. Université Pierre et Marie Curie - Paris VI, 1999. English. ⟨NNT : ⟩

Thèse tel-00010399v1
Deposit thumbnail

Quantitative aspects of unconditionality

Stefan Neuwirth

Classical Analysis and ODEs [math.CA]. Université de Franche-Comté (UFC), 2008

HDR tel-02276162v1