Landau Symbols

swMATH29537MaRDI QIDQ41251FDOQ41251

scientific article; zbMATH DE number Author name (Why is no real title available?)

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