Get started
Author

David Niedbala Giraudin

Observed names: Giraudin, David Niedbala, Niedbala Giraudin, Niedbala Giraudin, David
OpenAlex ID: A5134239983
A complete generating-function characterization of Wilson primes: seven analytically proved lemmas reducing the Wilson criterion to R_4(p) ≡ B_{p-3}/3 - 274/135 mod p
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 6
Verrou A K=2 : preuve de l'identité polynomiale globale Φ_GF ≡ G_GF + H_GF mod (p, z^{R+1})
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 6
Lift mod p² de la congruence 2X(p) + Y(p) ≡ 0 mod p
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 5
Théorème Wilson-Fermat-3 et structure Bernoulli-Stirling de T_p(p)
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 4
Le théorème miroir de Fino. Une règle prédictive locale sur la famille (p_{8+10n}, p_{10+10n}) des nombres premiers et la caractérisation combinatoire des six configurations miroir . Premier et unique exemple, à notre connaissance, d'une règle prédictive locale sur les nombres premiers avec caractérisation combinatoire close des défaillances
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 3
Borne inférieure rigoureuse de la conjecture du déficit δ_p(p^k-1) ≥ D*_k : identification du saturant j* = p·M_k et réponse à la question ouverte de la note 19866126 §8.1
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 3
Programme RH-adjacent : branche r = p^k - 1. Note maitre etendue
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 3
FAIT 1 : q0 == q1 mod p^2 pour Phi(u) = e(1+u)^(-1/u) -- theoreme auto-relevant sur W-SYM (preuve elementaire M1-M8)
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
Erratum to "Conjecture-G" (DOI 10.5281/zenodo.20313044): retraction of the Wilson-prime equivalence; the correct characterization is the Wilson–Fermat-2 coupling T_p ≡ 0 ⟺ W_p ≡ q_p(2) − 3 mod p
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
Forme fermée de R_4(p) dans la Conjecture-G via cross-référencement Wilson-Fermat-3 : réduction du chantier ouvert sous condition du Théorème 7
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
Théorème miroir des premiers jumelés inférieurs : alphabet intrinsèque {1,7,9} et distribution sur les 6 motifs
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
Théorème miroir étendu : caractérisation des 72 motifs de défaillance pour V = {1,3,7,9}
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
Véri cation multi-échelle du biais Lemke-Oliver-Soundararajan sur les derniers chi res de premiers consécutifs : loi 1/logN, asymétrie quadratique et invariance modulaire approchée
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
Théorème miroir universel et loi de densité Markov-1 : caractérisation à |V |! motifs pour k groupes de tailles arbitraires sur un alphabet de cardinal k
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
Théorème miroir bilatéral : règle à deux pivots avec deux rangs centraux et 42 motifs de défaillance
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 2
A new upper bound for the irrationality exponent of $ζ(2)$
2026 · Giraudin, David Niedbala · arXiv (Cornell University) · 1
PDF
A new upper bound for the irrationality exponent of zeta(3)
2026 · Giraudin, David Niedbala · arXiv (Cornell University) · 1
PDF
A counterexample to a conjecture of Thakur on Carlitz-Wieferich primes
2026 · Giraudin, David Niedbala · arXiv (Cornell University) · 1
PDF
Un escalier de valuations p-adiques a trois chiffres pour les coefficients de Mahler de F(z,n) = (1-z)^{1-n} prod(1-rz) [A three-digit p-adic valuation staircase for Mahler coefficients, full window k in {p-1, p, p+1}]
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 1
Preuve elementaire de la congruence de verrou Wilson-Fermat : CC(p) == 0 mod p pour tout premier p >= 7, et corollaire E_p == 0 mod p (Theoreme 7 du DOI 10.5281/zenodo.20348555, partie mod p)
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 1
Supplement technique au DOI 10.5281/zenodo.20348555 : structure generatrice de F(t) = exp(1 - t/(e^t-1)), formule fermee Sub_J via Bell complet, relation paire F·e^{-t/2}, convention Kellner II corrigee et diagnostic ouvert sur le Theoreme 7
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 1
Erratum technique au DOI 10.5281/zenodo.20394912: correction du script V8 (conjecture (R5)) et ajout bibliographique Kellner III (arXiv:2510.26743)
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 1
Erratum and extension to Lemma L2 §1.⑤ of the Verrou A K=2 program: universal constants +2 and +23 mod p for g_R(p²+p+4) and g_R(p²+p+5)
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 1
Erratum au depot DOI 10.5281/zenodo.20340509 : contre-exemple a la conjecture-G a p = 563
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 1
Pont miroir ↔ Hardy-Littlewood — Partie II : densités explicites des gaps entre jumelés inférieurs consécutifs sous Hardy-Littlewood et Poisson première arrivée
2026 · Niedbala Giraudin, David · Zenodo (CERN European Organization for Nuclear Research) · 1
Works count: 122
Citation count: 62
H-index: 4
I10-index:
Year
Topic
Type