The Error Function

Manuel Eberl 🌐

February 6, 2018

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This entry provides the definitions and basic properties of the complex and real error function erf and the complementary error function erfc. Additionally, it gives their full asymptotic expansions.

License

BSD License

Topics

Session Error_Function

Depends on

Cite

× 
@article{Error_Function-AFP,
  author  = {Manuel Eberl},
  title   = {The Error Function},
  journal = {Archive of Formal Proofs},
  month   = {February},
  year    = {2018},
  note    = {\url{https://isa-afp.org/entries/Error_Function.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: