- Infinity Calendar - Y. Kirani Singh
This program determines the day of the week given the date of any year, no matter the magnitude, in the Julian or Gregorian calendar.
...more>>
- INFORMS OR/MS Resource Collection
- Michael Trick, Carnegie Bosch Inst., Grad. School of Indust. Administration, Carnegie Mellon Univ.
An organized listing of sites concerned with the field of operations research, the technique of using modern scientific models to predict and compare the outcomes of complex systems, considering factors such as change and risk, with links to: FAQs; Societies;
...more>>
- Institute for Scientific Computing and Applications (ISCA) - Alfred K. Louis
Software and algorithms for linear and nonlinear inverse problems: computerized tomography, wavelet applications, statistical computations, multi-parameter fit, and more. Site is in French and German.
...more>>
- Institute for Theory Testing - Fred Dansereau
The Institute offers a software package (DETECT) that researchers (usually in psychology, social psychology, sociology, management, business, economics, political science, and communication) use to decide whether
individual-level data should be aggregated
...more>>
- Institute for the Study of Adult Literacy (ISAL) - Penn State University, College of Education
ISAL stresses the importance of connecting research to improving practice. Resources include software, publications, consulting services, and Web links.
...more>>
- Interactive Excel Spreadsheets - Scott A. Sinex, Prince George's Community College
"Excelets are interactive Excel spreadsheets or simulations of mathematical models. The user changes a variable and the spreadsheet changes in numerical, graphical, and/or even symbolic form (equations).... with no use of programming, no macros or Visual
...more>>
- Interactive Non-Euclidean Geometry - Carlos Criado-Cambon and Juan-Carlos Criado-Alamo
Draw in Euclidean and spherical geometries -- as well as the four most popular models of hyperbolic geometry: Klein, Poincaré, half-plane, and hemisphere. This freeware lets you define points, lines, segments, and circles; analyze distances, angles,
...more>>
- Interactive Statistical Calculation Pages - John C. Pezzullo
Links to free statistics software, online statistics books, tutorials, downloadable software, and related resources. Selecting the right kind of analysis; online software package websites; calculators, plotters, function integrators, and interactive programming
...more>>
- The InterFACE: Internet Fractal and Chaos Education - ThinkQuest 1997
Lessons, games, activities, demonstrations, and software, to inform users of the science and mathematics behind fractal images and chaos theory. The lessons, identified by subject and level of difficulty and including quizzes, are designed to promote
...more>>
- International Society on Multiple Criteria Decision Making (MCDM) - Ralph E. Steuer
The Society's purpose is to develop, test, evaluate, apply methodology for, help managers and other people solve, and to foster interaction and scientific research in the study of multiple criteria decision problems, and to cooperate with other organizations
...more>>
- Interval Arithmetic for ADA - Dmitry A. Kazakov
A free (GPL) implementation of interval computations in Ada.
...more>>
- Interval Computations
What is Interval Arithmetic?; Languages for Interval Analysis; Numerical Toolbox for Verified Computing (information on the book and software; in German and English): Pascal and C++ versions; Interval Software; Roundings Necessary for Interval Computations;
...more>>
- Introduction to Symmetries - Chaim Goodman-Strauss; The Geometry Center
Studying symmetries called isometries, which preserve distances. Pattern and symmetry appear in virtually every human culture. Symmetry surrounds us, both in the natural world and in the world of human artifact... the arrangement of needles on a pine
...more>>
- Introduction to Wallpaper Patterns - Chaim Goodman-Strauss; The Geometry Center
A unit on about plane patterns whose symmetries are translations, glide reflections, and rotations. Learn how to use a computer program called Kali which generates plane patterns; create and save a design, then learn the definitions of some features of
...more>>
- Introduction to Wireman - Martin Mulder; SCORE Mathematics
A lesson written to assist teachers in using the Wireman project at the Lawrence Livermore National Laboratory. The application, Wireman, allows students to put wireframe objects like: spheres, cylinders, cones, squares, and super spheroids together to
...more>>
- Investigating Patterns: Symmetry and Tessellations - Jill Britton
Thirty activities from a variety of Web sites, coordinated with a forthcoming book by Jill Britton for Cuisenaire/Dale Seymour, Exploring Pattern: Symmetry and Tessellations (March 1999). Topics include an introduction to symmetry; symmetry in the alphabet,
...more>>
- IOSO Technology Center
Technology for numerical optimization. IOSO (Indirect Optimization on the basis of Self-Organization) Technology is based on response surface techniques and differs significantly from well-known approaches to non-linear programming. The proposed optimization
...more>>
- Isabelle - Paulson, Nipkow
A generic theorem proving environment developed at Cambridge University and TU Munich. Isabelle/HOL is currently the best developed object logic, including an extensive library of (concrete) mathematics, and various packages for advanced definitional
...more>>
- Isard - Jean-Sébastian Roy
A free dynamic geometry program for Windows, PowerMac, and Linux. Like Cabri, but in Smalltalk (and smaller). The source is available and may be extended as needed.
...more>>
- IsarMathLib
IsarMathLib is a library of proofs that have been checked with Isabelle
proof assistant, based on the Isabelle's ZF logic. The emphasis is put on
readibility. The proofs are written using Isar syntax and can be read and
followed by any person familliar
...more>>
- IsoDraw - Mervin Bitikofer
IsoDraw is downloadable free-ware for Windows machines that allows students to play on a drawing space with polygons and various isometries. They can place and move multiple reflection lines on the screen, and watch the effects of translations and rotations.
...more>>
- Iterated Prisoners' Dilemma - Delayaye, Mathieu, Beaufils
A comprehensive source of information on the Iterated Prisoner's Dilemma, and on the representation, study of, and knowledge about cooperation (and evolution of cooperation) between agents. Strategies, references (papers in English and French, bibliography),
...more>>
- Janet Bowers - Janet Bowers
Current research projects, such as investigating multimedia case studies as a tool for preservice teacher development, the MEASURE project (SimCalc - San Diego), and reforming the preparation and professional development of elementary and middle school
...more>>
- Java PHASER Project: A Universal Simulator for Dynamical Systems - Jason Glick, Huseyin Kocak, Burton Rosenberg
A large-scale stand-alone Java application for graphically and numerically analyzing dynamical systems on a computer. Phaser is designed as a professional research and educational tool, and is being tested in beginning and advanced courses in differential
...more>>
- Java Square Cell - Brian Prentice
Download source code for a 2D cellular automata Java simulator and a large collection of patterns, including about a hundred rules that support knight ships.
...more>>
- JB Programming - Jim Burke
Logic.xla, a free Excel logic processor add-in for symbolic logic and mathematics.
...more>>
- JeoEdit - Grundland, Toussaint; Computational Geometry Lab, School of Computer Science, McGill University
The JeoEdit package, consisting of the JeoEditPoints and JeoEditPolygon applets, is a set of Java visual editors designed to help the computational geometry community realize its algorithms and theorems on the Internet by providing an
interface for drawing
...more>>
- JMP: Statistical Discovery Software - SAS Institute
This program presents statistics in a graphical environment. Data tables are presented clearly in spreadsheet form and are dynamically linked to related graphs and tables. JMP offers six statistical analysis platforms including a 3-D spin plot, as well
...more>>
- John Olive's Home Page - John Olive, Department of Mathematics Education, The University of Georgia
Course descriptions and requirements for Computers in Mathematics Education and Investigations into the Teaching of Mathematics Grades 7-12. Recent articles, available online, include Computer Tools for Interactive Mathematical Activity in the Elementary
...more>>
- JOpt.SDK: Vehicle Routing Software Library - DNA evolutions
Library that offers a Java solution of the Vehicle Problem with Time Windows (VRPTW) based upon genetic algorithms (includes a demo applet).
...more>>
- Journal of Statistical Software - Jan de Leeuw, Editor-in-Chief
The Journal of Statistical Software publishes software and descriptions of software useful for statisticians. The Journal is managed by UCLA Statistics. It is peer-reviewed, electronic, and free. Browse papers on the Web starting with the year 1996; access
...more>>
- Jude e-Clock : Mr. Myers' Classroom - Nathan Myers
Virtual manipulative for teaching various concepts in telling time. Features include the ability to change the clock's face (two different primary faces, Roman numerals, 12-3-6-9, & graduated markings only), display of time in digital format, display
...more>>
- Judy's Applications
Various calculator-type programs, including: Judy's TenKey (calculator program which features an editable tape which automatically recalculates when you make changes among other features, and a free demo version is downloadable here), Judy's Conversions
...more>>
- K-12 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 K-12 level. Organized into categories: lesson plans, schools, software and other K-12 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 & Mathe-Galerie: Grundschulmathematik - Monika Schwarze
Eine Seite zur Grundschulmathematik mit Software-Tipps. 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 RevSolid, a Maple program for making animated plots of solids of revolution; STEENROD, a Maple program
...more>>
- Knot - Flaming Pear Software
The Knot program lets you create large 3-D 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.
3-D 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 Web-based 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, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems.
...more>>
| |
|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.