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
Links for Computer Algebra Systems software
from SAL (
Scientific Applications on Linux
)
V. Z. Aladjev: Computer Algebra Systems: A New Software Toolbox for Maple
Algorithms Information and Course Materials on the Net
by Kirk Pruhs
Association for Symbolic Logic
Austrian Center for Didactics of Computer Algebra
Automated Deduction in Equational Logic and Cubic Curves
Axiom Computer Algebra System - Summary
Berkeley computer algebra papers
[Richard Fateman
et.al.
]
Bibliographies on Computational Mathematics
Birmingham CTI Centre for Mathematics and Statistics
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
SymbMath.com - web-based symbolic calculator, math handbook and computer algebra system
The Math Forum@Drexel
Fermat
, Computer Algebra System
The Wolfram
Functions
Site
Geometry Center at University of Minnesota
Guide to Available Mathematical Software
HartMath Java Computer Algebra Tool
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.
Lidia
A Library for Computational Number Theory
Linear Programming FAQ
Magma Computational Algebra System
for Algebra, Number Theory and Geometry
MAPLE 9
Mathematical Software Index
FSU
Mathematics of Computation
(Journal)
Matlab
Release 13
(mathworks.com)
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)
OpenMath
OpenMath is a new, extensible standard for representing the semantics of mathematical objects.
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
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
Symbolic Math Toolbox 3.1.2
The MathWorks - MATLAB and Simulink for Technical Computing
SymbolicNet
Information Center for Symbolic and Algebraic Computation
sci.math.symbolic
(symbolic computation)
What is Formal Methods
Visual Math For Java
Online symbolic math and Computer Algebra System
The
Yacas
another computer algebra system