Nine Chapters of Analytic Number Theory in Isabelle/HOL.

Published in: ITP (2019)

Keyphrases

theorem prover
small number
fixed number
maximum number
multiscale
computational intelligence
database
real time
real world
data mining
social networks
database systems
relational databases
formal methods