Wolstenholme's theorem and its modulo-p^4 refinement are proved by evaluating an Egorychev contour integral that directly yields the required harmonic sums and Bernoulli-number terms.
Meštrović,Wolstenholme’s Theorem: Its Generalizations and Extensions in the Last Hundred and Fifty Years, Preprint arXiv:1111.3057 (2011)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
Wolstenholme's theorem is formally verified in Lean 4 via expansion of a shifted factorial product and vanishing power sums modulo p.
citing papers explorer
-
A proof of Wolstenholme's theorem and congruence properties via an Egorychev-type integral
Wolstenholme's theorem and its modulo-p^4 refinement are proved by evaluating an Egorychev contour integral that directly yields the required harmonic sums and Bernoulli-number terms.
-
Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
Wolstenholme's theorem is formally verified in Lean 4 via expansion of a shifted factorial product and vanishing power sums modulo p.