scientific article; zbMATH DE number 7106484

DOI10.6092/issn.1972-5787/3406zbMath1451.68331MaRDI QIDQ5195248

Andrea Asperti, Wilmer Ricciotti

Publication date: 18 September 2019

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

Mathematics Subject Classification ID

Distribution of primes (11N05) Primes (11A41) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Reverse complexity ⋮ Nine Chapters of Analytic Number Theory in Isabelle/HOL.

Uses Software

• Matita

This page was built for publication: