Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A Formal Proof of the Irrationality of ζ(3). | 0 | 0.34 | 2021 |
| Formally Verified Approximations of Definite Integrals. | 2 | 0.45 | 2019 |
| Formal Verification of Smart Contracts: Short Paper | 48 | 3.11 | 2016 |
| A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). | 1 | 0.35 | 2014 |