 K12 Teaching Materials (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive list of Internet sites with significant collections of materials that can be used in the teaching of mathematics at the K12 level. Organized into categories: lesson plans, schools, software and other K12 Internet math sites.
...more>>
 K3DSurf  Abderrahman Taha
Download a program for visualizing and manipulating mathematical models in three, four, five and six dimensions. K3DSurf features interactive visualization with mouse events, real time animation and morph, and mesh file generation.
...more>>
 KaleidoTile  The Geometry Center
A downloadable program for the Macintosh based on the Geometry Center's tiling program on display at the St. Paul Science Museum. You can use KaleidoTile to create and manipulate tessellations of the sphere, Euclidean plane and hyperbolic plane, and to
...more>>
 Kali (Gallery of Interactive Geometry)  Nina Amenta; The Geometry Center
Kali is an interactive editor for symmetric patterns of the plane, as seen in some of the woodcuts of M.C. Escher. It's also a fun way to learn about the 17 crystallographic symmetry groups of the plane. Choose a symmetry group; each is defined by a lattice
...more>>
 Kali  Jeff Weeks
Kali lets you draw symmetrical patterns based on any of the 17 tiling groups. It was written for a broad audience. Even the youngest children enjoy Kali. In particular, Kali does not assume the user knows how to read. For older students, Kali lets students
...more>>
 Ka's Geometriepage & MatheGalerie: Grundschulmathematik  Monika Schwarze
Eine Seite zur Grundschulmathematik mit SoftwareTipps. Links zu Mathematikunterrichtseinheiten für Grundschulkinder der Klassen 1 bis Klasse 4; Freiarbeitsmaterialien und kleinen Unterrichtsprojekten. A German Web site for teachers and lovers of geometry,
...more>>
 Ken Monks's Software  Ken Monks; University of Scranton
Links to some programs written by the author, as well as by others, that have been useful in his mathematics courses. Ken Monks's software includes Lurch, a word processor that can check your mathematical reasoning; RevSolid, a Maple program for making
...more>>
 Knot  Flaming Pear Software
The Knot program lets you create large 3D color animations and stills of abstract knots. You design the knot's form, color, motion, backgrounds and lighting, or design and render entire animations automatically. Makes standard QuickTime and TIFF files.
...more>>
 The KnotPlot Site  Robert Scharein
A collection of knots and links, viewed from a partly mathematical perspective. Images on this site were created with KnotPlot, a program designed to visualize and manipulate mathematical knots in three and four dimensions. A picture gallery, description
...more>>
 The Knowledge Tree, Inc.
3D modelling and mathematics software, for a wide range of educational levels. Dealers for Aspex Software, Greygum Software, and the Math Circus programs.
...more>>
 Koalog Constraint Solver  Yan Georget, Koalog SARL
KCS is a Java constraint solver for combinatorial optimization problems.
...more>>
 Kriging Description  Fortner Software
The site describes kriging, a sophisticated method of determining the best estimate for each point in a target matrix, based on statistical principles. Kriging is named after a South African engineer, D. G. Krige, who first developed the method. The article
...more>>
 KSEG  Ilya Baran
KSEG is a Linux program for dynamically exploring Euclidean geometry. Create a construction, such as a triangle with a circumcenter; drag its vertices, and its circumcenter moves accordingly in real time. Features include a fast core to support large
...more>>
 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>>
 
