
Landau
Symbols
Title: 
Landau Symbols 
Author:

Manuel Eberl

Submission date: 
20150714 
Abstract: 
This entry provides Landau symbols to describe and reason about the asymptotic growth of functions for sufficiently large inputs. A number of simplification procedures are provided for additional convenience: cancelling of dominated terms in sums under a Landau symbol, cancelling of common factors in products, and a decision procedure for Landau expressions containing products of powers of functions like x, ln(x), ln(ln(x)) etc. 
BibTeX: 
@article{Landau_SymbolsAFP,
author = {Manuel Eberl},
title = {Landau Symbols},
journal = {Archive of Formal Proofs},
month = jul,
year = 2015,
note = {\url{http://isaafp.org/entries/Landau_Symbols.html},
Formal proof development},
ISSN = {2150914x},
}

License: 
BSD License 
Used by: 
Akra_Bazzi, Catalan_Numbers, Comparison_Sort_Lower_Bound, CryptHOL, Dirichlet_L, Dirichlet_Series, Error_Function, Euler_MacLaurin, Quick_Sort_Cost, Random_BSTs, Stirling_Formula 
