[Haskell-cafe] Examples of using Haskell for mathematics

[Conal Elliott]

Along these lines, check out (and maybe quote) the July 2007 note from Doug
McIlroy to the Haskell list:
http://www.haskell.org/pipermail/haskell/2007-July/019632.html

I've particularly been enjoying Doug's paper "The Music of Streams",
mentioned in that note.

   - Conal

On Mon, May 26, 2008 at 11:49 AM, Henning Thielemann <
lemming at henning-thielemann.de> wrote:

>
> 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
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080527/4568ce5a/attachment-0001.htm