3D Graphing
Utility - graphical viewer accepts 2, 3, or 4 column input file; graphs
using stereo cross-your-eyes or filter glasses techniques; includes motion
control.
3D-Filmstrip
- tool that aids in the visualization of mathematical objects and processes.
Runs under Mac System 7.X.
Alki -
high-level interpreted language for numerical analysis.
AMPL - modeling
language and system for formulating, solving and analyzing large-scale
optimization problems. Links to free and commercial sources of software
and modeling examples.
Bertrand
- first-order symbolic logic problem solver for the Macintosh. Generates
"consistency trees" (by decomposition and instantiation) and truth tables.
Diffusion Simulation
Software - performs diffusion simulations in a one-dimensional slab
or into a membrane with sink boundary conditions. Both analytical and graphical
results are shown in a user friendly interface.
Digitizer 1.1 -
freeware utility digitizes curves, which means it converts pictures into
data and equations.
Dr
Geo - free interactive geometry software avalaible in different languages.
Groups, Algorithms
and Programming (GAP) - system for computational discrete algebra with
particular emphasis on computational group theory, but which has already
proved useful also in other areas.
Logic Software [Stanford
CSLI] - Hyperproof, Tarski's World, and Turing's World are interactive,
graphical programs that teach the concepts of mathematical logic for Macintosh
and Windows.
MuPAD - Multi Processing
Algebra Data Tool - Home page of the general purpose computer algebra
system MuPAD. With news from the developers, faq, list of MuPAD ftp sites...
Netlib at The Univ. of Tennessee
and ORNL - contains freely available software, documents, and databases
of interest to the numerical, scientific computing, and other communities.
NTL - portable C++
library for problems in algebra and number theory.
Otter - an automated
deduction system designed to prove theorems stated in first-order logic
with equality.
Pascal Math
Routines - source code for math functions not generally available from
your Pascal compiler.
Peanut Software for Windows
- free software applications for plotting, exploring geometry, statistics,
fractals, statistics, discrete math, and matrices.
Qhull - general
dimension C code for computing convex hulls, Delaunay triangulations, Voronoi
diagrams, and halfspace intersections.
Scilab - free scientific
software package for numerical computations in a user-friendly environment.
SeanSoft - free programs
for students like study aids and other small utilities including a Library
Loan Management System.
SIMATH - a computer
algebra system, especially for number theoretic purpose, especially elliptic
curves, finite fields, algebraic extensions etc.
SoftFloat
- software implementation of IEEE standard floating-point, in ISO C.
Solutions - programmable
application works with algebraic equations, matrices, and complex numbers.