"Measuring the Relative Complexity of Mathematical Constructions and Theorems."

Jun Le Goh (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics