New links

Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically.

ODE Architect combines rich multimedia application with powerful yet easy-to-use custom mathematical tools. The software is intended to provide a highly interactive environment for students to examine the properties of linear and nonlinear systems of differential equations, and to explore and construct ODE modes of real-world situations, as well as self-designed models.

Publisher of mathematical software including FORTRAN Calculus and PROSE which are Automatic Differentiation (AD) based software languages that simplify computer coding to an absolute minimum; i.e., a mathematical model, constraints, and the objective function. FORTRAN Calculus was designed to solve implicit problems.

OR-Objects is a library of Java classes for developing Operations Research applications. The purpose of OR-Objects is to provide a foundation of reusable software to speed the development of OR applications and make them more reliable.

OSL is IBM's library of high-performance optimization subroutines for linear, mixed integer and quadratic programming, supported on multiple hardware platforms, from PCs, to workstations, to supercomputers such as the SP2.

Argonne National Lab's Otter is designed to prove theorems stated in first-order logic with equality. Currently, the main application of OTTER is research in formal logic and mathematics. OTTER and its predecessors have been used to answer many open questions in the areas of finite semigroups, ternary Boolean algebras, logic calculi, combinatory logic, and group theory. OTTER has also been used for research in the verification of hardware and software.

Award-winning math software for students of all abilities kindergarten through pre-algebra. These fun and exciting programs are perfect for home, school and homeschool use. Plus, people of all ages are now competing in international math tournaments using special tournament versions of these unique software programs.

PEST is a unique nonlinear parameter estimator that can be used with existing models. Because it exchanges data with a model through the model's own input and output files, PEST allows the model to be used for calibration and interpretation without any changes being made to the model itself.

Petersen is software that can draw, edit and manipulate simple graphs, examine properties of the graphs, and demonstrate them using computer animation. It can display information about a graph like the number of vertices and their degrees, the adjacency matrix, number of components, and articulation points. It can find complements of graphs, line graphs, find the chromatic number of a graph, check if a graph is bipartite, check if two graphs are isomorphic or if one graph is a subgraph of another and find the dual graph of a planar graph in many cases. Petersen also demonstrates Euler and Hamilton circuits, searches, and algorithms for finding mimimum spanning trees.

A set of Maplev R.3 software routines, for plotting 2D/3D projections of Poincari surfaces-of-section of Hamiltonian dynamical systems, is presented. On-Line help. The package consists of a plotting-command plus a set of facility-commands for a quick setup of the Hamilton equations of motion, initial conditions for numerical experiments, and for the zooming of plots.