Nils Lauermann

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Real Images Are Presented

Kolmogorov Complexity

Graphical Representation

Nearest Neighbor Classifier

Top Venues

Arch. Formal Proofs

Publications

Yannick Forster, Fabian Kunze, Nils Lauermann
Synthetic Kolmogorov Complexity in Coq. ITP (2022)
Nils Lauermann
Turán's Graph Theorem. Arch. Formal Proofs 2022 (2022)