R
oot_
B
alanced_
T
ree Dependents
2024
Schönhage-Strassen Multiplication
by
Jakob Schulz
May 10
Karatsuba Multiplication on Integers
by
Jakob Schulz
and
Emin Karayel
Feb 19
2020
Closest Pair of Points Algorithms
by
Martin Rau
and
Tobias Nipkow
Jan 13
2019
A Verified Code Generator from Isabelle/HOL to CakeML
by
Lars Hupel
Jul 08