# 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{http://isa-afp.org/entries/Error_Function.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Depends on: Landau_Symbols Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.