1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.CG2024
Formal Verification of the Empty Hexagon Number
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio +3
A recent breakthrough in computer-assisted mathematics showed that every set of points in the plane in general position (i.e., without three on a common line) contains an empt…
math.LO2016★ 1 cited
Formalization of the prime number theorem and Dirichlet's theorem
Mario Carneiro
We present the formalization of Dirichlet's theorem on the infinitude of primes in arithmetic progressions, and Selberg's elementary proof of the prime number theorem, which assert…
cs.LO2014★ 1 cited
Conversion of HOL Light proofs into Metamath
Mario Carneiro
We present an algorithm for converting proofs from the OpenTheory interchange format, which can be translated to and from any of the HOL family of proof languages (HOL4, HOL Light,…