Mathematical Resources on the Internet

Discussion of Mathematical Computing

IMACS Conferences on Applications of Computer Algebra
Berkeley computer algebra papers(Richard Fateman et.al.)
Computer Algebra Performance (Heinz Kredel)
Review of CAS Mathematical Capabilities (Michael Wester)
Computer Algebra and Problem Solving Environments (Stanly Steinberg)
PSEware Project of the IU CS Department's Scientific Computing Group et al
Problem Solving Environments page at Purdue
Database of Existing Mechanized Reasoning Systems

General Archives

INRIA Sophia Antipolis (SAFIR)
OpenMath Project
NAOMI - The North American OpenMath Initiative
Mathematics Archives

Commercial Vendors and Packages

Waterloo Maple, Inc.(Maple)
The MathWorks (Matlab)
Wolfram Research Inc. (Mathematica)
Key Curriculum Press (Geometer's SketchPad)
MathTools (MIDEVA, MATCOM)
MathWare Inc. (Derive, GyroGraphics)
MathSoft Engineering & Education, Inc. (MathCad)
Logic Software from CSLI
Software for Science - reseller of software

Shareware/Freeware Vendors and Packages

Downloadable Software from the Geometry Center.
Fermat - a CAS for polynomial and matrix computation, for Mac and PC.
Groups and Graphs, a software package for graphs, digraphs, combinatorial designs, and their automorphism groups.
NTL C++ number theory library
SAML Simple Algebraic Math Library in C (Thierry Bousch, Université Paris-Sud)

Other Resources

Mathematics Software section of the Big List of Mathematics Information Servers at Penn State