## 2023

##### Distributed Distinct Elements

by Emin Karayel
Apr 03

## 2022

##### Clique is not solvable by monotone circuits of polynomial size

by René Thiemann
May 08

##### Irrational numbers from THE BOOK

by Lawrence C. Paulson
Jan 08

## 2020

##### The Lambert W Function on the Reals

by Manuel Eberl
Apr 24

## 2018

##### The Prime Number Theorem

by Manuel Eberl and Lawrence C. Paulson
Sep 19

## 2017

##### Lower bound on comparison-based sorting algorithms

by Manuel Eberl
Mar 15