Akra Bazzi

MaRDI QIDQ40309swMATHFDO

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