Details of Link
 
 
TITLE
  DESS Calculus Library 
SUBTITLE
  A library for formal and numerical calculus 
DESCRIPTION
  "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."
 
REPORTER
  Walter Rader 
AUTHOR
  Gisèle George 
AUTHOR'S LINK
   
COAUTHOR
  Pierre-André Poussard 
COAUTHOR'S LINK
   
CLASSIFICATION
  Mathematics 
RELEASE
   
STABILITY
  unknown stability 
STABLE RELEASE
   
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
   
DEPENDS ON OPERATING SYSTEM
   
DEPENDS ON OTHER SOFTWARE
   
INFO LINK
  http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web//RAFFALLI/formel.html 
DOWNLOAD LINK
  ftp://www.lama.univ-savoie.fr/pub/users/RAFFALLI/formel.tar.gz 
DATE OF LAST MODIFICATION
  21 Oct 2002 


Navigation: [Sort by date] [Sort by author] [Sort by title] [Sort by classification] [New author] [Login]