Mario Carneiro
From MaRDI portal
Person:6259746
Available identifiers
zbMath Open carneiro.mario-d.1MaRDI QIDQ6259746
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| The divergence of the sum of prime reciprocals | 2024-04-22 | Paper |
| Formalizing computability theory via partial recursive functions | 2018-10-19 | Paper |
| A Lean formalization of Matiyasevi\v{c}'s Theorem | 2018-02-05 | Paper |
| Formalization of the prime number theorem and Dirichlet's theorem | 2016-08-05 | Paper |
| Models for Metamath | 2016-01-28 | Paper |
| GCH implies AC, a Metamath Formalization | 2015-06-10 | Paper |
| Arithmetic in Metamath, Case Study: Bertrand's Postulate | 2015-03-08 | Paper |
Research outcomes over time
This page was built for person: Mario Carneiro
