 WIMAT  Learning Linear Algebra with the PC  Janiszczak, Knörr
A free DOS and Windows learning and training program, with routines that demonstrate important algorithms or procedures in linear algebra and linear programming such as Gaussian algorithm, procedures for solving linear equations and inverting matrices,
...more>>
 WinKE: A Proof Assistant for Teaching Logic  Ulrich Endriss
An interactive proof assistant based on the KE calculus, a refutation system that combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. The software has been designed to serve as a tutoring system to support the teaching
...more>>
 WINKS & KWIKSTAT Statistics Software  TexaSoft
Statistical data analysis software for Windows (WINKS) and DOS (KWIKSTAT). Programs in zipped format to download; free evaluation copy of any program you are interested in seeing. Courses on Statistical Data Analysis and QS9000 Statistical Techniques
...more>>
 WIRIS  Ramon Eixarch and Daniel Marquès, Maths for More S.L.
WIRIS math tools include a formula editor, online CAS (Computer Algebra System) and advanced math assesment tools. WIRIS tools are easily integrated into Moodle and other LMS. You can experiment with all WIRIS tools running in a Moodle environment.
...more>>
 The Witt Design  Ashay Dharwadker
The Steiner system S(5,8,24) is explicitly constructed. A C++ program to
generate the Golay code and the Witt design is provided.
...more>>
 Worksheet Creators  Dan Perkins
Flashbased Worksheet Creators built to easily and quickly generate diverse worksheets for addition, subtraction, multiplication, and division. Shareware.
...more>>
 World of Fractals  Adam Lerer
A general site about fractals, including image galleries, animations, descriptions of different types of animations, explanations, programs to download, and related links. See Types of fractals; read Understanding Fractals (The Basics, The Mathematics,
...more>>
 wrotniak.net  J. Andrzej Wrotniak
Includes shareware and freeware programs for Windows written by Wrotniak: scientific and regular calculators, a spherical geometry calculator, a logic and strategy game, a statistics graphing program, and a simple program to compute the area of a polygon.
...more>>
 XLfit: Curve Fitting in Excel  ID Business Solutions
XLfit® is a Microsoft® Excel addin that brings the power of scientific mathematics and statistics to Excel, together with supporting charting capabilities. There are over 70 outofthebox models for both linear and nonlinear curve fitting available
...more>>
 XLpert  Choong Koon Wai, XLpert Enterprises
Shareware and freeware: 4Cast XL (a neural network addin for MS Excel); xl bit (a genetic algorithm addin for MS Excel); nn_Solve (build neural network models with Excel Solver (freeware)); KaotiXL (rescaled range analysis ( Hurst exponent ) with MS
...more>>
 The XYZ GeoBench for experimental geometric computation  Dr. Peter Schorn
The XYZ GeoBench (eXperimental geometrY Zurich) is a workbench for geometric computation on Macintosh computers. It provides an interactive user interface similar to a drawing program which can be used to create and manipulate geometric objects such as
...more>>
 Yarrow Home Page  Jan Zwanenburg
A proofassistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the CurryHowardde Bruijn isomorphism is
...more>>
 Yves Gallot's Proth.exe and Cunningham Chains  Warut Roonguthai
A collection of interesting Cunningham chains of large prime numbers (with a link to an explanation of Cunningham chains), and how to find some of them using Yves Gallot's Proth.exe, a Windows 95/NT program.
...more>>
 ZapaGraph  Brain Waves Software
A graphing program for use in the teaching and learning of high school mathematics and Calculus. Features include the ability to transform any
relation, take the nth derivative of any function, and compose any two functions in nine different ways. The
...more>>
 Z Systems, Inc.
Developers of data analysis, acquisition, and visualization software. Evaluation copies available for download. Graphing and data analysis software includes Graph++, a graphing application that evaluates equations and mathematical functions graphically.
...more>>
 Zuk  Jan Bobrowski
Download an experimental version of a dynamic Mandelbrot/Julia fractal viewer for DOS.
...more>>
 
