Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Error Function

view this post on Zulip Email Gateway (Aug 22 2022 at 16:43):

From: Lawrence Paulson <lp15@cam.ac.uk>
We have a new entry, thanks to Manuel Eberl, on the error function:

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.

It is online at https://www.isa-afp.org/entries/Error_Function.html

Larry Paulson

Last updated: Feb 01 2025 at 20:19 UTC