Akra Bazzi

swMATH28595MaRDI QIDQ40309FDOQ40309

Author name not available (Why is that?)

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

Cited In (2)

• Proving divide and conquer complexities in Isabelle/HOL
• Landau Symbols

This page was built for software: Akra Bazzi