QuickSort Cost

MaRDI QIDQ40355swMATHFDO

Authors Manuel Eberl

Publication date 15 March 2017

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

Cites work

• A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq
• Quicksort
• The analysis of Quicksort programs

Cited in

(11)

• Verified tail bounds for randomized programs
• Ergodic theory
• Amortized Complexity
• Treaps
• Root Balanced Tree
• Random BSTs
• Density Compiler
• Monad normalisation
• Probabilistic_Prime_Tests
• Verified analysis of random binary tree structures
• Verified analysis of random binary tree structures

This page was built for software: QuickSort Cost