scientific article

zbMath1205.68361MaRDI QIDQ3075240

No author found.

Publication date: 10 February 2011

Full work available at URL: http://jfr.cib.unibo.it/article/view/1558

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

primesarithmetic progressionDirichlet's theoremHOL Light theorem prover

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to number theory (11-04) Primes (11A41)

Related Items (1)

Nine Chapters of Analytic Number Theory in Isabelle/HOL.

Uses Software

• HOL Light

This page was built for publication: