The Error Function

 

Title: The Error Function
Author: Manuel Eberl
Submission date: 2018-02-06
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.

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