Root Balanced Tree

MaRDI QIDQ40371swMATHFDO

Authors Tobias Nipkow

Publication date 20 August 2017

Official website https://www.isa-afp.org/entries/Root_Balanced_Tree.html

Cites work

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

Cited in

(20)

• Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
• ACE
• PairingHeap
• Splay Tree
• Skew Heap
• Ergodic theory
• CryptHOL
• Amortized Complexity
• QuickSort Cost
• Treaps
• Random BSTs
• Density Compiler
• LLL Factorization
• Verified LLL
• Verified Root-Balanced Trees
• Monad normalisation
• Probabilistic_Prime_Tests
• Verified analysis of random binary tree structures
• Verified analysis of random binary tree structures
• Amortized complexity verified

This page was built for software: Root Balanced Tree