Non-Commercial Software and Tools


Here are links to websites for some of the many non-commercial software packages and useful online tools of interest to researchers in experimental and computer-assisted mathematics:

  1. The 3D-XplorMath Consortium's math visualization tool: http://rsp.math.brandeis.edu/3D-XplorMath/TopLevel/gallery.html
  2. Alf-Christian Achilles' computer science bibliogrphy: http://liinwww.ira.uka.de/bibliography
  3. The Algorithm Project software library: http://algo.inria.fr/libraries/software.html
  4. The ArXiv mathematics article database: http://www.arxiv.org
  5. The Boyer-Moore theorem prover: http://www.cs.utexas.edu/users/moore/best-ideas/nqthm
  6. The CECM Euler-zeta computation tool: http://oldweb.cecm.sfu.ca/projects/ezface+
  7. The CECM integer relation tool: http://oldweb.cecm.sfu.ca/projects/IntegerRelations
  8. The CECM inverse symbolic calculator (ISC): http://oldweb.cecm.sfu.ca/projects/ISC
  9. Richard Crandall's integer computation software: http://www.perfsci.com
  10. The Dalhousie University inverse symbolic calculator version 2 (ISC2): http://ddrive.cs.dal.ca/~isc
  11. The FFTW site (FFT software): http://www.fftw.org
  12. The FIZ-Karlsruhe journal and abstract database: http://www.zentralblatt-math.org/portal/en
  13. The FORM computer algebra package: http://www.nikhef.nl/~form
  14. Dan Grayson's "Macaulay-2" software for computation in algebraic geometry and commutative algebra: http://www.math.uiuc.edu/Macaulay2
  15. The GNU high-precision arithmetic library: http://swox.com/gmp
  16. The LBNL double-double, quad-double and arbitrary precision computation software: http://crd.lbl.gov/~dhbailey/mpdist
  17. The LBNL Experimental Mathematician's Toolkit: http://crd.lbl.gov/~dhbailey/mpdist
  18. The LBNL PiSearch facility (searches for names or hex digit sequences in the first several billion binary digits of pi): http://pisearch.lbl.gov
  19. The LinBox symbolic linear algebra software library: http://www.linalg.org/linbox-html/index.html
  20. The Magma computational algebra system: http://magma.maths.usyd.edu.au/magma
  21. Hadrien Melot's GraPhedron tool: http://www.graphedron.net
  22. Mawata's Petersen graph theory tool: http://www.utc.edu/Faculty/Christopher-Mawata/petersen/intro.htm
  23. The Netlib software repository (linear algebra and other math software): http://www.netlib.org
  24. The On-Line Encyclopedia of Integer Sequences: http://oeis.org
  25. PSU's CiteSeer Databse: http://citeseer.ist.psu.edu
  26. The Research Institute for Symbolic Computation (RISC) website: http://www.risc.uni-linz.ac.at/research/combinat/software
  27. The University of Newcastle/CARMA "Walking on Numbers" site (includes numerous information on pi): http://carma.newcastle.edu.au/walks