Computer Algebra, Symbolic Mathematics
Operator Algebra, Mathematical Programming
Algebra
Linear Algebra
Mathematics Archives - Topics in Mathematics - Computer Algebra
Computer Algebra Benchmarks
by Heinz Kredel University of Mannheim
Computer Algebra Links
Korteweg-de Vries Institute for Mathematics
AJAX Calculator
Online Symbolic Calculator
Algorithms Information and Course Materials on the Net
by Kirk Pruhs
Association for Symbolic Logic
Austrian Center for Didactics of Computer Algebra
Axiom Computer Algebra System - Summary
Bibliographies on Computational Mathematics
Calculus and Mathematica at UIUC
The Center for Discrete Mathematics and Theoretical Computer Science
DIMACS (New Brunswick NJ, USA)
CoCoA
commutative computer algebra -
University of Genova
commalg.org - the center for commutative algebra
COMPUTER ALGEBRA, Algorithms, Systems and Applications
by Richard Liska, Ladislav Drska, Jiri Limpouch, Milan Sinor, Michael Wester, Franz Winkler
Computer Algebra in Mathematics Education
CAME
C
omputer
A
lgebra
N
etherlands
Computer Algebra and Problem Solving Environments
by Stanly Steinberg
A Critique of the Mathematical Abilities of CA Systems
by Michael Wester
Derive-news
Archives of DERIVE-NEWS@JISCMAIL.AC.UK
Fermat, Computer Algebra System
The Wolfram
Functions
Site
Geometry Center at University of Minnesota
Guide to Available Mathematical Software
IMACS Conferences on Applications of Computer Algebra
Journal of Symbolic Computation
KANT
/ KASH
C
omputational
A
lgebraic
N
umber
T
heory / KAnt SHell
Lapack Users' Guide
LAPACK is a library of Fortran 77 subroutines for solving the most commonly occurring problems in numerical linear algebra.
Linear Programming FAQ
Magma Computational Algebra System
for Algebra, Number Theory and Geometry
MAPLE
Mathematical Software Index
FSU
Mathematics of Computation
(Journal)
The MathWorks - MATLAB and Simulink for Technical Computing
(mathworks.com)
Symbolic Math Toolbox
Maxima, a Computer Algebra System
GNU
Modern Computer Algebra
by Joachim von zur Gathen and Jürgen Gerhard
MuPAD
University of Paderborn
NASA LaRC Formal Methods Program
National HPCC Software Exchange (NHSE)
Operator algebra
Operator Algebra Resources
Operator algebra page of N. C. Phillips
Operator Algebras in Denmark, The
PoSSo (Polynomial System Solving) WWW Server
Random Number Generation and Stochastic Simulation
Recognizing Numerical Constants
by David H. Bailey and Simon Plouffe
The
REDUCE
Computer Algebra system
Koeln University
REDTEN
is a symbolic algebra package for REDUCE
RIOT: Interactive Linear Programming: Introduction
SAL- Mathematics - Computer Algebra Systems
by Herng-Jeng Jou
SIMATH
is a computer algebra system
Socrates
Ohio State University
Solving Cubic and Quartic Equations: Don Herbison-Evans
Symbolic Computation Group Home Page
Department of Computer Science University of Waterloo
SymbolicNet
Information Center for Symbolic and Algebraic Computation
sci.math.symbolic
(symbolic computation)
What is Formal Methods
Visual Math For Java 2.1
Online symbolic math and Computer Algebra System
The
Yacas
another computer algebra system