A formalized proof of Dirichlet's theorem on primes in arithmetic progression.

Published in: J. Formaliz. Reason. (2009)

Keyphrases

interactive theorem proving
boundary conditions
theorem proving
floating point
mixture model
theorem prover
arithmetic operations
linear logic
real time
multiscale
neural network
data sets
von neumann
machine learning
multi agent
language model
database
digital topology
complete axiomatization
mathematical proofs