Johannes Hölzl

Johannes Hölzl

Technische Universität München - Munich / Germany
Others
AD Scientific Index ID: 1781896
Technical University of Munich
person_outline Johannes Hölzl's MOST POPULAR ARTICLES
1-) Truly modular (co) datatypes for Isabelle/HOLJC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D TraytelInternational Conference on Interactive Theorem Proving, 93-110, 20141152014
2-) Type classes and filters for mathematical analysis in Isabelle/HOLJ Hölzl, F Immler, B HuffmanInternational Conference on Interactive Theorem Proving, 279-294, 20131012013
3-) Three chapters of measure theory in Isabelle/HOLJ Hölzl, A HellerInternational Conference on Interactive Theorem Proving, 135-151, 2011942011
4-) Numerical analysis of ordinary differential equations in Isabelle/HOLF Immler, J HölzlInteractive Theorem Proving: Third International Conference, ITP 2012 …, 2012692012
5-) A formally verified proof of the central limit theoremJ Avigad, J Hölzl, L SerafinJournal of Automated Reasoning 59 (4), 389-423, 2017592017