Landau Symbols

swMATH29537MaRDI QIDQ41251FDOQ41251

Author name not available (Why is that?)

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

Cited In (5)

• Proving divide and conquer complexities in Isabelle/HOL
• Akra Bazzi
• Median-of-Medians
• Auto2_Imperative_HOL
• Verifying asymptotic time complexity of imperative programs in Isabelle

This page was built for software: Landau Symbols