Johannes H\"olzl

Identifiers

• name variant Johannes H\"olzl 0.60 · backfill

Papers (3)

1. Formalizing the Solution to the Cap Set Problem cs.LO · 2019 · author #2
2. A Verified Compiler for Probability Density Functions cs.PL · 2017 · author #2
3. A formally verified proof of the Central Limit Theorem cs.MS · 2014 · author #2

Mentions

• 1405.7012 #2 · backfill · confidence 0.70 Johannes H\"olzl

Frequent Coauthors

• Jeremy Avigad 1 shared papers
• Luke Serafin 1 shared papers
• Manuel Eberl 1 shared papers
• Robert Y. Lewis 1 shared papers
• Sander R. Dahmen 1 shared papers
• Tobias Nipkow 1 shared papers