$p$-adic differential equations Differential and difference algebra mathematics