Chercheur ou chercheuse

Neuwirth Stefan

Chercheur ou chercheuse identifié(e) à partir d’une publication HAL.

Activité actuelle non vérifiée

Activité scientifique

Informations établies à partir des publications HAL présentes dans le périmètre importé.

40publications HAL repérées
20publications depuis 5 ans
2026publication la plus récente

Domaines HAL

MathématiquesSciences humaines et sociales

Mots-clés fréquents

Paul LorenzenConstructive mathematicsCut-eliminationOmega-ruleFree countably complete pseudocomplemented semilatticeConsistency of elementary number theoryMathématiques constructivesDanse butōSchreyer's syzygy algorithmSchreyer's monomial orderMonomial orderFree resolutionSyzygy theoremConsistency of ramified type theory without axiom of reducibilityFree countably complete boolean algebraInfinitary proof theoryFree distributive latticeFree pseudocomplemented semilattice

Publications récentes repérées

  1. Azumaya algebras and Barr's Theorem2026 · Article
    Consulter →
  2. Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings2026 · Article
    Consulter →
  3. L’émergence du concept d’idéal chez Richard Dedekind2025 · Article
    Consulter →
  4. Multivariate Hensel Lemma for ultrametric fields2025 · Article
    Consulter →
  5. Algebraic and logistic investigations on free lattices2025 · Article
    Consulter →
  6. An introduction to Lorenzen's ``Algebraic and logistic investigations on free lattices'' (1951)2025 · Article
    Consulter →
  7. Expériences de l’infini et de la généralité dans le premier livre des Éléments d’Euclide2024 · Chapitre d’ouvrage
    Consulter →
  8. In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl2024 · Prépublication ou document de travail
    Consulter →
  9. Introduction2024 · Autre publication scientifique
    Consulter →
  10. Le schème et le diagramme2024 · Ouvrage
    Consulter →
  11. Valuative dimension, constructive points of view2024 · Article
    Consulter →
  12. Présentation de l’article « modèle » de Ludwig Boltzmann2024 · Article
    Consulter →

Rattaché à

Une publication atteste un rattachement à sa date, mais ne permet pas de savoir s’il existe encore aujourd’hui.

Implantations

  • Localisation de la structure de rattachement « LABORATOIRE DE MATHÉMATIQUES DE BESANÇON » : 16 Route de Gray, 25030, Besançon, France

Explorer les liens

Parcourez les rattachements, les regroupements et les projets. Choisissez une entité pour explorer ses liens.

Neuwirth Stefan
  • Rattachement documentéLABORATOIRE DE MATHÉMATIQUES DE BESANÇONLaboratoireConsulter →

Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.

Sources et actualisation

HAL

Fiche mise à jour
06/10/2026

Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.

Proposer une correction

Connectez-vous pour envoyer une proposition privée à l’administration.

Se connecter

Une erreur ou une précision à apporter ?

Votre commentaire suivra les règles habituelles de modération du site.

Ajouter un commentaire

Copyright 2026 - Les Cahiers de l'Innovation

Les Cahiers de l’innovation

Que souhaitez-vous explorer ?

Explorez les articles et les ressources des Cahiers.