pith. machine review for the scientific record. sign in

arxiv: 1409.8629 · v1 · submitted 2014-09-30 · 🧮 math.NT

Recognition: unknown

The congruence of Wolstenholme and generalized binomial coefficients related to Lucas sequences

Christian Ballot
Authors on Pith no claims yet
classification 🧮 math.NT
keywords binomialcoefficientscongruencecongruencesgeneralizedlucasrelatedsequences
0
0 comments X
read the original abstract

Using generalized binomial coefficients with respect to fundamental Lucas sequences we establish congruences that generalize the classical congruence of Wolstenholme and other related stronger congruences.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4

    cs.LO 2026-04 accept novelty 5.0

    Wolstenholme's theorem is formally verified in Lean 4 via expansion of a shifted factorial product and vanishing power sums modulo p.