New links

Publisher of educational computer software for high school students. Two of the packages are Maths Helper, used for graphing and statistics, and Algematics, used for demonstrating and solving algebra problems.

Techexplorer is a plug-in for Netscape and Microsoft internet browsers that enables the use of TeX, LaTeX and MathML to display mathematical symbols.

TELPACK is a teletraffic analysis software which allows users to solve structured Markov chains motivated by probabilistic modeling and analysis for design and engineering of computer and communication networks.

TeXaide is a special version of MathType's Equation Editor that generates TeX using MathType 4's TeX translator technology. The program is FREE.

The Theorema project extends computer algebra systems by mathematical proving in natural style. The present version is implemented in Mathematica 3.0. The system consists of a general higher-order predicate logic prover and a collection of domain-specific provers that call each other depending on the particular proof situations.

3D Filmstrip is a mathematical visualization program for Macintosh computers.

A software package incorporating the time series analysis algorithms developed by Applied Nonlinear Sciences, LLC in conjunction with Randle, Inc.

The home site for the Transitional Mathematics Project at Imperial College, London contains Mathematica notebooks to help people revise and learn some of the mathematics they need to enter (British) university courses in Science and Engineering. Each module consists of a text part - the Study Guide - (postscript file) and a companion Mathematica Notebook of computer-based activities.

TREEFROG is a rule-based system for students to practise their maths skills on. The PC-based system TREEFROG simply checks each step of the student's argument for consistency, and recognizes if the correct finishing point has been reached. The online prototype (which only covers polynomial algebra at present), gives rudimentary feedback using malrules if a mistake is made in a step.

TSP International produces and distributes TSP, a complete econometric software package, with easy input of commands and data, all the standard estimation methods (including nonlinear), forecasting, and a flexible language for programming your own estimators.