Stefan Neuwirth

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

Publications

Publications

Image document

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-04799551 v1
Image document

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-01620945 v3
Image document

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-05519146 v1
Image document

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-01629913 v3
Image document

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-04803641 v1

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-05519595 v1
Image document

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-04274384 v2

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-05519592 v1
Image document

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-03522059 v1
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
Article dans une revue hal-03544790 v1
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⟩
Article dans une revue hal-02923338 v2
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⟩
Article dans une revue hal-02866976 v1
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⟩
Article dans une revue hal-02126786 v4
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⟩
Article dans une revue hal-01943079 v2
Image document

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-03521851 v1
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⟩
Article dans une revue hal-01427208 v4
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
Article dans une revue hal-01574845 v1
Image document

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-01133291 v1
Image document

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-00451399 v2
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⟩
Article dans une revue hal-00135804 v1

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-00473583 v1

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-00475267 v1

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-05519611 v1

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-03523510 v1
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
Communication dans un congrès hal-03523633 v1

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-03523488 v1
Image document

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-03525671 v1

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-03523683 v1

Improvisation et mathématiques

Stefan Neuwirth
Colloque du cinquantenaire des IREM, May 2019, Besançon, France
Communication dans un congrès hal-03523564 v1

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-03643423 v1

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-03523713 v1
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
Communication dans un congrès hal-03523808 v1
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
Communication dans un congrès hal-03525746 v1
Image document

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-03523459 v1
Image document

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-03523423 v1
Image document

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-03522215 v2
Image document

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, 2023, Epistémè
Chapitre d'ouvrage hal-03521670 v1
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
Chapitre d'ouvrage hal-03104374 v2
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
Chapitre d'ouvrage hal-03523948 v1
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⟩
Chapitre d'ouvrage hal-02896900 v1
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⟩
Chapitre d'ouvrage hal-02418320 v2

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, ⟨10.1007/978-3-030-65824-3_10⟩
Chapitre d'ouvrage hal-05519471 v1
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
Chapitre d'ouvrage hal-01349250 v1

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-05240504 v1
Image document

Multipliers and functional analysis

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

Quantitative aspects of unconditionality

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