Links for Computation in Pure Mathematics

  • GAP - website for the GAP system for computational discrete algebra
  • Experimental GAP installer for Windows

  • Haskell - the main website
  • Hugs online - website of the hugs Haskell interpreter
  • Yet Another Haskell Tutorial - Hal Daume III's excellent Haskell tutorial
  • Haskell 98 Report - convenient online Haskell reference, includes the standard libraries
  • Tour of the Haskell Prelude - convenient online reference of Prelude functions

  • CompuTop.org - Nathan Dunfield's site for topology software
  • Magnus - combinatorial group theory software
  • Kenzo - computational algebraic topology software
  • Simplicial Homology - GAP package for computing homology

  • Aldor - powerful imperative programming language developed by IBM, accomodates object-oriented, functional, and aspect-oriented programming
  • Mathematica - huge commercial mathematics software package
  • Octave - linux open source math software, mostly linear algebra, differential equations, statistics
  • Handy online calculators - from WIMS, the Worldwide Interactive Multipurpose Server

  • IT programming languages - nice page of links to language resources, including XML and HTML, maintained by Test King
  • Web and programming languages - more links to language resources, maintained by Investintech

  • Java - the Sun website for Java developers
  • Java API Specification - Java Application Programming Interface specifications

  • Instruction set for the 8051 processor, from Andries E. Brouwer's website
  • Historical timeline for computer languages maintained by Eric Levenez. The timeline page also has many links for programming language resources