 Kumo  Joseph Goguen et al.; University of California at San Diego.
A Webbased proof assistant that assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction.
...more>>
 KwikTrig  John Fracaro
Free Windows PC trigonometry software for quick solutions to trigonometry and geometry problems from expert to novice.
...more>>
 L'Algebrista  Michele Cerulli
Software designed to introduce pupils to theoretical thinking and symbolic manipulation. The site includes publications and a description of the software. In English and Italian.
...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>>
 L'arbre de Delaunay  JD. Boissonnat et al.
L'arbre de Delaunay est une structure randomisé permettant de mettre à jour la triangulation de Delaunay. Cette structure permet de traiter des requètes de localisation. Delaunay triangulation code for Delaunay meshing in 2 and 3 dimensions
...more>>
 Learning by Simulations  Hans Lohninger, Virtual Institute of Applied Science
Simulation software for Windows PCs, available free for noncommercial educational purposes. (The author requests a postcard describing your use of his programs.) Covered math topics include: Fourier Synthesis, Travelling Salesman Problem, Vector Fields,
...more>>
 LEDA Research  Michael Seel
LEDA is a library of the data types and algorithms of combinatorial computing. Try the OverTheNet Demo which allows you to play with some computational geometry algorithms provided by LEDA; download commercial or research packages and licenses; read
...more>>
 The LEGO Proof Assistant  Randy Pollack; University of Edinburgh
A tool for interactive proof development in the natural deduction style. It implements various related type systems  the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC), and the Unified
...more>>
 Let 'Em Roll™ Simulation  Matthew Carpenter
The goal of this activity is to demonstrate a real world situation where the probabilities of mutually exclusive and independent events occur. Each student is asked to calculate the experimental and theoretical probabilities of these events. Students
...more>>
 levmar: LevenbergMarquardt nonlinear least squares algorithms in C/C++  Manolis Lourakis
GPL package containing four flavors of the LevenbergMarquardt nonlinear
least squares algorithm. The package is written in C, it's also usable
from C++ and includes double and single precision LM implementations, both
with analytic and finite difference
...more>>
 LINDO Systems
Software tools (linear, nonlinear, and integer programming solvers) for building and solving optimization models.
...more>>
 Line Designs for the Computer  Jill Britton
Line designs are created by connecting points on lines or curves with straight line segments. When carried out on cardboard with sewing needle and thread, the process is referred to as Curve Stitching or String Art. If the family of straight line segments
...more>>
 LINK: A Software System for Discrete Mathematics  DIMACS, Rutgers University
A software system designed to be a generalpurpose, extendible computing environment in which discrete mathematical objects representing real world problems can be easily manipulated and visualized. The system features a full Scheme interpreter with access
...more>>
 Linked List Polynomial Calculator in C / C++  Alfie Miras
A C program that performs the basic polynomial operationsaddition, subtraction and differentiation.
...more>>
 LiveGraph: RealTime Data Series Plotter  Greg Paperin
A tool which allows to graph data series in realtime while they are being generated by another application. The concise GUI is specifically tailored for convenient and efficient handling of a large number of data series and contains basic but very useful
...more>>
 Loan*Calculator! Plus for Windows  Pine Grove Software
Loan, Interest Due/Calendar Math, Remaining Balance, Accelerated Payment and Balloon Payment calculations available, and amortization schedules. Version 2.0 added the notion of "Financial Advisors". Advisors provide text based answers to a particular
...more>>
 Logical Art and the Art of Logic  Guenter AlbrechtBuehler
About pentominoes, the patterns they create, and what pentominoes have to do with Escher, Penrose, Logic, Impossible Objects, Mathematics, and Art. Download a DOS program, 'newpent.exe', that assembles (6x10) pentomino solutions manually or automatically
...more>>
 Logical Art and the Art of Logic  Guenter AlbrechtBuehler
An illustrated essay about pentominoes, flat shapes formed from five (Gr.pente = five) unit squares. Also a DOS program for pentomino solutions (6x10) and galleries of pentomino creations.
...more>>
 Logic Programming  J. P. Bowen; World Wide Web Virtual Library
Links to information on Logic Programming: General repositories; Prolog; Window system interfaces; Other logic programming systems; Meetings; Books; Related information.
...more>>
 Logic Software from CSLI  Jon Barwise and John Etchemendy; Center for the Study of Language and Information
Text/software packages described here  Hyperproof, The Language of Firstorder Logic, Tarski's World, and Turing's World  are all published by the Center for the Study of Language and Information and distributed by Cambridge University Press.
...more>>
 The Logics Workbench (LWB)  Gerhard Jaeger, Leader; University of Bern, Switzerland
The LWB allows work in classical and nonclassical propositional logics, including nonmonotonic approaches. There are several groups of functions: functions concerning provability; simplification of formulas; computation of normal forms; embeddings, and
...more>>
 Logo in Mathematics Education  Don Beaty
Sections introducting Logo and its use in the classroom, as well as Illinois Learning Goals (state standards), and a series of juniorhigh level lessons aligned to those standards.
...more>>
 Lumina Decision Systems
Lumina Decision Systems develops, markets, and supports Analytica, software for creating, analyzing, and communicating quantitative business models. Based in Los Gatos, California, Lumina also offers consulting and training in decision support, model
...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>>
 MacStats  David Zatz and Joel West
A clearinghouse for information regarding using the Macintosh for statistical analysis, with an emphasis on marketing and other social science research (also relevant for engineering and hard science applications, but these are not its main focus). Available
...more>>
 Magic Cube Generator  Dwane H. Campbell, Keith A. Campbell
This site offers a generator for magic squares, cubes, and hypercubes, along with history, overview of basic concepts, and statistics, and downloads and references. The authors focus primarily on a set of 8 by 8 by 8 magic cubes that are often called
...more>>
 Magic Geometry Canvas  Shigehisa Sekie
Interactive geometry shareware based on tangrams, for Win 95/98/ME/200/XP. Threeminute sample activities are included on the site.
...more>>
 Magic Geometry Workshop  Shigehisa Sekie
A shareware geometry program for Win95/98/2000/XP. Sample interactive geometric constructions available on site.
...more>>
 Magic Graph  Betelgeuse Software
A graphing tool for plotting and analysing graphs of mathematical functions. It is fully customizable, supports a wide variety of functions, and provides analytical capabilities.
...more>>
 Magic Math Kingdom  Nippon Educational Software Laboratory
Magic Math Kingdom is math game software, in which kids solve elementary math problems in order to rescue a frog princess. Also available is the Internet Geometry Education Tool OMAIL. With OMAIL, students can learn geometry by manipulating lines or
...more>>
 Magic Square  Robert Aragon
Create a magic square with an n x n dimension, where n is an odd number. This program can be used to check the sums of any rows, columns, or main diagonals of a magic square. The program was written in the C language and allows the user to determine the
...more>>
 The Magma Computational Algebra System  Computational Algebra Group, University of Sydney
A system designed by the Computational Algebra Group, headed by Dr J. J. Cannon, in the School of Mathematics and Statistics at the University of Sydney, to solve computationally hard problems in algebra, number theory, geometry and combinatorics. Magma
...more>>
 Magnus: A System for Exploring Infinite Groups  New York Group Theory Cooperative, CCNY
A free, intuitive, graphically driven objectoriented package for computational group theory, exploring infinite groups. From the New York Group Theory Cooperative at CCNY, which also provides links to an archive of preprints and open problems in combinatorial
...more>>
 Main Index of Software Libraries  Netlib, UTK and ORNL
Mathematical and statistical software to download.
...more>>
 Makin' Magic Programs, Fractals, Freeware, and Graphics  Dave Makin
Fractal freeware and galleries of examples. The fractal program MMFrac2.4 includes solid 3D hypercomplex and quaternion fractals and realtime 3D landscapes. An older version of the page can be found at http://skyscraper.fortunecity.com/terabyte/966/.
...more>>
 Mancala Snails  RocketSnail Games
A Mancala game with a twist: the pebbles are in the shape of a snail. Play online or download a version for Windows.
...more>>
 Mandelbrot Set Programs And Links  James Dawe
Several Mandelbrot generator programs for Windowsbased machines and for DOS, freeware or shareware. Reviews of fractal related software, some available for downloading; Mandelbrot links.
...more>>
 Mandelstep  Karl J. Runge
The idea behind "mandelstep" is that by letting you select starting positions and looking at a handful of iteration "trajectories" or "orbits," you can begin to understand more about the different regions of the Mandelbrot set  not just whether a point
...more>>
 Mark's Maths and Excel Homepage
 Mark Dabbs
Teacher's Friend Markbook and Gradebook: two Excel spreadsheet files that are custom built to record pupil marks and then weight, average, and grade them automatically. One file does the above for a single class; a second file can import all of the information
...more>>
 Marschall Acoustics Instruments (MAI)  Marschall Acoustics Group
Subroutine libraries: Numerical and Statistical Subroutines; Signal and Image Processing Libraries; and Random Number Generation, optimized for OS/2 platforms.
...more>>
 Math4Mobile  Michal Yerushalmy, Arik Weizman, Zohar Shavit
Applications for use with cellular phones. Work offline and sharable. Tools include function and equation graphing tools, a dynamic geometry tool, and curve fitter. Site includes suggestions for activities.
...more>>
 Math4U2  University of Applied Science in Augsburg
In German: 2D interactive Java function plotter with animations. Download to run on most computers. It has rich functionality for linear algebra and infinitesimal calculus. Control function parameters and animations. Lessons can be written using XML files
...more>>
 Mathansw: Math Software by Solveware  Solveware, Inc.
Math tools for people at work who need the answers to problems they encounter on the job: surveyors, navigators, managers, engineers, architects, supervisors, estimators, programmers, machinists, mold makers, teachers, college students, apprentices, home
...more>>
 MathBits.com  Frederick and Donna Roberts
Devoted to offering fun, yet challenging, lessons and activities in high school/college level mathematics and computer programming to students and teachers. Includes Teacher Resources for Algebra, Geometry, Algebra 2, and Statistics; Finding Your Way
...more>>
 Math Cove  C. Mawata; Dept. of Mathematics, Univ. of Tennessee at Chattanooga.
Math Cove projects include: Java applets for exploring transformations (translations, reflections, and rotations) and learning about acute and obtuse angles and other concepts in triangle geometry; more than 20 lessons for studying graph theory (using
...more>>
 MathCracker.com
Online solvers and graphing tools to create scatter plots, calculate mean and standard deviation, and draw pie charts on the web. MathCracker.com also provides statistics tutorials, lessons, and worked math problems, solved step by step. See, in particular,
...more>>
 Math Education for the 21st Century  Sarah Inkpen
"Technology is an essential part of our future, but technology alone will not educate us. Interactive software, information retrieval systems, multimedia presentations and virtual reality enhance understanding and facilitate knowledge building if and
...more>>
 Mathematical and Statistical Software  Pittsburgh Supercomputing Center, Carnegie Mellon University
BLOCKSOLVE, EISPACK, FISHPACK, IMSL, NRL3D, ODEPACK, PARPRE, PETSC, PJAC, RANPACK, SCALAPACK. Some packages require industrial or academic users to make special arrangements for usep; information is included in the documentation for the package. Following
...more>>
 Mathematical constants and computation  Xavier Gourdon and Pascal Sebah
How famous mathematical constants were computed in the past, and current ways of obtaining them: pi, e, the logarithmic constant, square root of 2, Euler's constant, and Apery's constant. Also algorithms (arbitrary precision computation; FFT based multiplication
...more>>
 
