Extended Stirling's formula to complex numbers
3506cde43185
Actions

Description

Extended Stirling's formula to complex numbers

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

metadata/

document/

rAFP3506cde43185

metadata/metadata

thys/Stirling_Formula/Gamma_Asymptotics.thy

thys/Stirling_Formula/Ln_Gamma_Asymptotics.thy

thys/Stirling_Formula/ROOT

thys/Stirling_Formula/document/root.tex

Extended Stirling's formula to complex numbers3506cde43185Actions

Description

Details

Changes (7)

rAFP3506cde43185

metadata/metadata

thys/Stirling_Formula/Gamma_Asymptotics.thy

thys/Stirling_Formula/Ln_Gamma_Asymptotics.thy

thys/Stirling_Formula/ROOT

thys/Stirling_Formula/document/root.tex

Extended Stirling's formula to complex numbers
3506cde43185
Actions