[Haskell-cafe] Examples of using Haskell for mathematics

[Henning Thielemann]

On Mon, 26 May 2008, Brent Yorgey wrote:

> Hi all!
>
> In a couple weeks I will be giving a short (15-min.) talk to an audience of
> mostly mathematicians, entitled "Executable Mathematics: A Whirlwind
> Introduction to Haskell".  The idea will be to give a flavor of Haskell, its
> uniquenesses, and why it is a great language for playing around with
> mathematics, by way of some well-chosen examples.  There are definitely
> plenty of such examples out there, and I've already found quite a few that I
> might use, but I thought I would send an email to the cafe to ask whether
> anyone has any code which you think particularly exemplifies some aspect of
> why Haskell is a great language for mathematics.  I'm looking to include a
> wide range of examples, so any length (from a few to hundreds of lines of
> code) and any level (from simple number theory to things only a few people
> in the world understand) are fair game.

The mathematical examples I like most are power series (including elegant 
solution of differential equations and series inversion) and computable 
real numbers.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numeric-prelude

http://darcs.haskell.org/numericprelude/src/MathObj/PowerSeries/DifferentialEquation.hs

http://darcs.haskell.org/numericprelude/docs/README