Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

A Functional Presentation of Fourier Series Convergence
Author

S. Yukita
Journal / Anthology

Visual Computer
Year: 1996
Volume: 12
Page range: 350-359
Description

Understanding lengthy mathematical proofs requires strong concentration. Authors must efficiently map whole logical structures into sequential texts. One way to ease such tasks is presenting the logical structure in a functional programming style. In our method, functional proofs are implemented by a real programming language. The behavior of each function appears in the proofs as a building block ready to be visualized with concrete data. This paper contains a case study of the well-known Dirichlet's theorem on the convergence of Fourier series. It shows the relevance of our method in rigorous mathematical presentations that involve e-d arguments intensively.
Subject

*Mathematics > Calculus and Analysis > Harmonic Analysis