Root-Balanced Tree

MaRDI QIDQ7361880FDO

Authors Tobias Nipkow

Publication date 20 August 2017

Cites work

• General Balanced Trees
• Unnamed Publication
• Verified Root-Balanced Trees

Cited in

(5)

• Karatsuba Multiplication on Integers
• Rabin's Closest Pair of Points Algorithm
• Schönhage-Strassen Multiplication
• A Verified Code Generator from Isabelle/HOL to CakeML
• Closest Pair of Points Algorithms

This page was built for software: Root-Balanced Tree