Lucas's Theorem

MaRDI QIDQ7361145FDO

Authors Chelsea Edmonds

Publication date 7 April 2020

Cites work

• Binomial Coefficients Modulo a Prime
• Defining functions on equivalence classes
• Formal power series
• The DPRM Theorem in Isabelle (Short Paper).

Cited in

(1)

• Diophantine Equations and the DPRM Theorem

This page was built for software: Lucas's Theorem