A library for formal and numerical calculus in OCaml


abstract:

This library uses functors to provide the beginning of formal an numerical calculus in Ocaml. It shows that strong typing and functors are really adequate because they match the mathematical notion of structure.

It was implemented by some students of the DESS d'ingéniérie mathématique de l'université de Savoie (Gisèle George, Pierre-André Poussard)

It is just a first version. Feel free to submit modifications and extensions, cooperative development could lead that library quite far ...

feel free to download it !

The only available documentation at the moment are the .mli file. Here they are:

Here are a TODO list for that library and a wishes list of modification in Ocaml that would make possible to improve a lot this library.