Chris Stevens

Python, mathematical modeling, modular arithmetic, p-adic methods, and computational number theory.
I specialize in correctness-driven parameter computation for engineering and cryptographic systems.

Developing and refining a provably correct modular-parameter computation system used for solving constraints of the form bᴬ ≡ r (mod pᵗ) for engineering and cryptographic applications.

Discussions about modular arithmetic, p-adic methods, and exact parameter computation.
A good reason to reach out: you need help deriving provably correct moduli from system constraints.