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