 Hypothèses / Géometrix  J. Gressier
Logiciel capable de corriger en direct un élève sur n'importe quel problème de construction géométrique. Il peut aussi le corriger sur la plupart des problèmes de démonstration en géométrie
...more>>
 IDEA: Internet Differential Equations Activities  Thomas LoFaro; College of Sciences, Washington State Univ. (WSU)
Interdisciplinary computerbased activities for differential equations: a database of computer activities illustrating both mathematical concepts and the application of these concepts in a wide variety of disciplines. DynaSys, Java differential equations
...more>>
 iFD Bundle  iFD Software Consult
Five mathematical products for Pocket PC and Windows in one software package: iFD Geometry, iFD Graph, iFD Calc, iFD Formula, and iFD unit converter. All products available separately as well, in addition to other software applications.
...more>>
 IFS Construction Kit  Larry Riddle
IFS Construction Kit is Windowsbased software that can be used to design and draw fractals based on iterated function systems. The program consists of three main windows. The IFS Window is where you can see and edit the code for the transformations that
...more>>
 IFS: Fractal Image Compression  Pulcini, Verrando, Meloni Rossi
Download IFS Application Framework, a freeware educational program for fractal image coding. Note: It needs 486DX2/66, 8MB RAM, Windows 3.1 with a 11MB swapfile and a 32000 SVGA driver (at least). Download IFSDOC, an introduction to IFS and IFSAF (in
...more>>
 The Image Warper (METIP)  Steve Tanimoto; Mathematics Experiences Through Image Processing
A PC program for MSWindows that supports exploratory learning and enjoyable activities involving geometric transformations and image distortion. Simple transformations such as rotation, translation or scaling can be specified with single line segmentss.
...more>>
 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, multiparameter 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
individuallevel 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 NonEuclidean Geometry  Carlos CriadoCambon and JuanCarlos CriadoAlamo
Draw in Euclidean and spherical geometries  as well as the four most popular models of hyperbolic geometry: Klein, Poincaré, halfplane, 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 GoodmanStrauss; 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 GoodmanStrauss; 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>>
 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 SelfOrganization) Technology is based on response surface techniques and differs significantly from wellknown approaches to nonlinear 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  JeanSé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 freeware 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 largescale standalone 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 addin 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 3D 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 712. 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>>
 Josh Hertel
Hertel serves the University of WisconsinLa Crosse as an assistant professor in the mathematics department. He completed his Ph.D. in Mathematics Education at Illinois State University with the freely downloadable dissertation "Investigating the Purpose
...more>>
 Journal of Statistical Software  Jan de Leeuw, EditorinChief
The Journal of Statistical Software publishes software and descriptions of software useful for statisticians. The Journal is managed by UCLA Statistics. It is peerreviewed, electronic, and free. Browse papers on the Web starting with the year 1996; access
...more>>
 Jude eClock : 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, 12369, & graduated markings only), display of time in digital format, display
...more>>
 Judy's Applications
Various calculatortype 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>>
 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 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 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>>
 
