 ACTM '97: Second Asian Technology Conference in Mathematics  S. Chu, Radford University
Computer Technology in Mathematical Research and Teaching. ATCM97 provided an interdisciplinary forum where researchers and teachers in the fields of mathematics, education, computers, and technology presented results and exchanged ideas and information.
...more>>
 Akalu Tefera's Electronic Headquarters  Department of Mathematics and Statistics, Grand Valley State University
A mathematician whose research interests include computer algebra, automated theorem proving, and combinatorics and their "derivatives" or "equivalence classes." The site contains Maple packages for multiple integration of hyperexponential functions.
...more>>
 Algorithms Project  Institut National de Recherche en Informatique et en Automatique (INRIA)
A small international group of people with interests in design and analysis of algorithms, computer algebra, combinatorial analysis and asymptotics. It aims at general methods in combinatorics and analysis, with which classes of problems can be treated
...more>>
 A = B  Marko Petkovsek, Herbert Wilf, Doron Zeilberger
A=B, by Petkovsek, Wilf, Zeilberger, is a book about identities, especially identities involving binomial sums and hypergeometric identities, and ways to prove them using computer programs. The entire text may be downloaded from this site in PDF format.
...more>>
 Books: Professional & Technical: Professional Science: Mathematics  Amazon.com
Browse bestselling math books from the Professional and Technical Bookstore at Amazon.com, in such categories as Applied; Chaos & Systems; Geometry & Topology; Mathematical Analysis; Mathematical Physics; Number Systems; Pure Mathematics; Transformations;
...more>>
 Carl Eberhart
Class information and/ or Maple worksheets for courses including multivariable calculus, linear algebra, linear programming, differential equations, numerical methods, and topics for mathematics teachers, as well as Maple and C++ programs for a course
...more>>
 CAS Musings  Chris Harrow
Blog by a math teacher at a prep school in Ohio. Posts, which date back to March, 2011 and emphasize science, technology, engineering, and mathematics (STEM) and computer algebra systems (CAS), have included "Transforming inverse trig graphs"; "Birthday
...more>>
 CoCoA System  Robbiano et al.; Italy
A free, multiplatform software system for running computations in commutative algebra. CoCoA's principal area of expertise is operations over commutative rings of polynomials; it can readily compute Gröbner bases, syzygies and minimal free resolutions
...more>>
 A compendium of NP optimization problems  Crescenzi & Kann
A continuously updated catalog of approximability results for NP optimization problems. Because no NPcomplete problem can be solved in polynomial time (unless P=NP), many approximability results (both positive and negative) of NPhard optimization problems
...more>>
 Computer Algebra and Problem Solving Environments  Stanly Steinberg
Abstract for Stanly Steinberg's article in Comparative CAS Reviews and Philosophy, suggesting six ways computer algebra systems could be improved.
...more>>
 Continuing Studies and Corporate Education  University of Massachusetts Lowell
The UMass Dartmouth and UMass Lowell Divisions of Continuing Education offer a selection of standard, fullcredit university courses offered over the web. Students and faculty use the World Wide Web, email, chat and other Internet resources to review
...more>>
 Distributed Maple  Wolfgang Schreiner; RISCLinz, Johannes Kepler Universität Linz
A system for writing parallel programs in the computer algebra system Maple, so that different computers in a network can perform parts of the same computation. The program may be downloaded here in .tar or .zip form. The manual, a README file, and papers
...more>>
 Fermat Computer Algebra System  Robert H. Lewis
Fermat is a computer algebra system that does graphing, and symbolic and numerical calculations. Fast and economical of space, the main version is oriented toward polynomial and matrix algebra over the rationals and finite fields; Smith normal form; polynomial
...more>>
 Foundations of Computational Mathematics
The FoCM's primary aim is to further the understanding of the deep relationships between mathematical analysis, topology, geometry and algebra and the computational process as they are evolving together with the modern computer. The meetings are unified
...more>>
 Frédéric Chyzak's Mgfun Project
Mgfun is a group of Maple packages intended for calculations with multivariate generating functions, in particular for their symbolic summation
and integration, and for the proof of special function and combinatorial identities. These packages include
...more>>
 Frederic Chyzak
Frederic Chyzak researches combinatorics and computer algebra, specifically holonomic functions. His thesis and other articles are available as abstracts and as PostScript files. Slides for a series of talks on holonomic functions and computer algebra
...more>>
 Free Complex Matrix and Vector classes  Abdon Pijpelink
Two C++ classes: implementations of a matrix and a vector of complex numbers. Free for everyone.
...more>>
 Gb Home Page  Faugère
Faugère's GB package computes Gröbner basis of polynomials ideals and solves systems of algebraic equations. Best documentation is in French: GB est un systeme de Resolution de systeme d'equations algebriques.
...more>>
 GiNaC is not a CAS  Bauer, Frink, Kreckel
GiNaC is an iterated and recursive abbreviation for "GiNaC is Not a CAS" (Computer Algebra System). It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like
...more>>
 Grant Keady
Grant Keady, an adjunct professor at Curtin University, researches fluid dynamics and related subjects, with forays into computer algebra. Some of his papers are available online in PostScript, gzipped PostScript, PDF, .dvi, or Mathematica notebook format.
...more>>
 HartMath  Java Computer Algebra Applet  Klaus Hartlage
HartMath is a computer algebra system available free under GNU public license. It features large number arithmetic, symbolic derivatives/integration, linear algebra, plot functions, numeric functions, patternmatching rules, and pure functions, and runs
...more>>
 Helmut Prodinger
Helmut Prodinger researches analysis of algorithms, combinatorics, tree enumeration, and number theory. Many of his papers on these subjects are available online in PostScript, .dvi, and/ or TeX form.
...more>>
 Institute of Discrete Mathematics  Prof. Dr. Harald Niederreiter; Austrian Academy of Sciences
Current projects and research areas such as: Cryptology; Computer Algebra; Finite Fields and Their Applications; Global Function Fields; QuasiMonte Carlo Methods; Construction of LowDiscrepancy Sequences; Numerical Integration; Pseudorandom Number Generation;
...more>>
 An Introduction to the Algebraic Specification of Abstract Data Types  Jean Baillie; Dept. of Computer Science, Univ. of Hertfordshire, U.K.
The technique of algebraic specification of abstract data types is introduced informally beginning with the Signature. Homomorphisms are introduced as structurepreserving relationships between algebras of the signature. Equations may be used to quotient
...more>>
 John Stembridge
John Stembridge researches algebra and combinatorics. His papers on these subjects are available online as gzipped PostScript files. The site contains an archive of related research data such as lists of posets on 8 or fewer vertices and Coxeter graph
...more>>
 LAPACK  Linear Algebra PACKage
Written in Fortran77, LAPACK provides routines for solving systems of simultaneous linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems, and singular value problems.
...more>>
 LAPACK++ (Linear Algebra PACKage in C++)  Roldan Pozo
A software library for numerical linear algebra that solves systems of linear equations and eigenvalue problems on high performance computer architectures.
Computational support is provided for various matrix classes for vectors, nonsymmetric matrices,
...more>>
 Macaulay  Dave Bayer and Mike Stillman
Macauley is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis methods for manipulating systems of polynomial equations. See also Macaulay
...more>>
 Mathematicians describe tendril perversion  M.N. Jensen; Science News Online
A mathematical model of elastic rods can be used to describe vine tendrils and kinky phone cords that coil first in one direction, then in the opposite direction. Mathematicians have shown that such reversals of direction result from the curviness inherent
...more>>
 Mathgram
Point and click JavaScript to learn and play with math and programming: operations, fractions, set notation, money (in US dollar and coin denominations), and more.
...more>>
 MuPAD: Multi Processing Algebra Data tool  The MuPAD Group at University of Paderborn
MuPAD is a general purpose computer algebra system for symbolic and numerical computations. Users can view the library code, implement their own routines and data types, and can also dynamically link C/C++ compiled modules to meet their preferences for
...more>>
 Ontario Research Centre for Computer Algebra
ORCCA performs fundamental research and development in mathematical software, focusing on computer algebra. The Centre was founded in 1999 with the support of government and private sector sources. Faculty from the University of Waterloo and the University
...more>>
 Papers by Dr. Bert K. Waits  Dr. Bert K. Waits
In PDF format, essays include "The Role of HandHeld Computer Symbolic Algebra in Mathematics Education in the TwentyFirst Century: A Call for Action!"; "The Role of Graphing Calculators in Mathematics Reform"; "The Evolution of Instructional Use of
...more>>
 Philippe Flajolet
Philippe Flajolet researches the analysis of algorithms, analytic combinatorics, computer algebra, asymptotic analysis, special functions, random structures, and natural languages. An extensive collection of his articles, and the first chapters of
...more>>
 Principia Mathematica II  Michael Meyling
An open source project attempting to present mathematical knowledge in a formal, correct form. It includes a proof verifier which checks a mathematical proof written in a certain formal language and an HTML converter for making mathematical HTML pages.
...more>>
 The REDUCE Computer Algebra System  Anthony C. Hearn
An interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers. Capabilities include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching; automatic
...more>>
 The REDUCE Computer Algebra System  Anthony C. Hearn; RAND
An interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers. Its capabilities include:
expansion and ordering of polynomials and rational functions; substitutions and pattern matching in
...more>>
 Scientific Applications of Linux  HerngJeng Jou and Kachina Technologies, Inc.
SAL (Scientific Applications on Linux) is a collection of information and links to software for scientists and engineers. Math categories include computer algebra systems, arrayoriented and linear algebra systems, statistics, and number theory. Numerical
...more>>
 Scientific Applications on Linux (SAL)  Kachina Technologies, Inc.
A collection of information and links to software of interest to scientists and engineers. The broad coverage of Linux applications also benefits the whole Linux/Unix community. See, in particular, Mathematics.
...more>>
 Software Development  Dept. of Mathematics, University of Arizona
A page with links to mathematical and graphics packages developed within the University of Arizona Mathematics Department. Researchrelated and instructional software, with packages related to computer algebra and raster graphics; vector graphics and
...more>>
 Symbolic Computation Group (SCG)  Dept. of Computer Science, University of Waterloo, Ontario, Canada
SCG has as its primary goal the research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolicnumeric computation. The algorithms developed are incorporated into the Maple computer algebra system.
...more>>
 Symbolic Solutions Group  Erich Kaltofen
The Symbolic Solutions Group is a group of researchers in computer algebra and related subjects at North Carolina State University. Their articles are available for download, usually in PostScript format, via FTP.
...more>>
 Technical Reports index  University of Cambridge Computer Laboratory
Technical reports by the University of Cambridge Computer Laboratory, some dating back to 1974, and all those published since January, 2002. Titles include "Decimalisation table attacks for [ATM] PIN cracking"; "Turing Switches  Turing machines for alloptical
...more>>
 Templates for Linear Algebra Problems  Bai, Day, Demmel, Dongarra, Gu, Ruhe, and van de Vorst
The solution of linear systems of equations and eigenvalue problems lies at the
heart of most calculations in scientific computing. This paper discusses some recent developments designed to help the user on advancedarchitecture computers, focusing on
...more>>
 Tewodros Amdeberhan's Electronic Headquarters
Tewodros Amdeberhan studies combinatorics, number theory, special functions, partial differential equations, computer algebra, algorithmic proof theory, and harmonic analysis. His articles on these topics, as well as some unpublished musings, are available
...more>>
 The Theory Group  University of St. Andrews, U.K.
The Theory Group investigates aspects of theoretical computer science including: specification; automated theorem proving techniques and applications (especially in computer algebra); computational logic, including logic programming and proof theory;
...more>>
 ZCA Kaiserslautern  Olaf Bachmann
The Zentrum für Computeralgebra (Centre for Computer Algebra) at the University of Kaiserslautern is a scientific institution of the departments of Mathematics, Computer Science, and Electrical Engineering at the University of Kaiserslautern in Germany.
...more>>
 
