 NuPrl Proof Development System  Cornell University, Ithaca, NY
A tacticbased proof assistant developed over the last 15 years at Cornell University. Its features include: very expressive logical language based on MartinLof type theory, extensive library of formal mathematics and automata theory, possibility of
...more>>
 Office for National Statistics  Government Statistical Service, United Kingdom
The United Kingdom agency that coordinates national statistics. Tables of key social, economic, and environmental data, press releases, catalogue of publications, articles, and a newsletter. Information about the British census, including articles in
...more>>
 One Mathematical Cat, Please! A First Course in Algebra  Carol J.V. Fisher Burns
This is a complete online Algebra I curriculum, along with lessons in geometry, algebra II, and calculus. Over 150 web exercises, all typeset in MathJax and some of which use GeoGebra, with printable randomlygenerated worksheets and solutions, offer
...more>>
 Online Calculator Software  PeoriaDesignWeb.com
Online Calculator Software is a collection of webbased online calculators to solve a variety of routine calculations. The tool is designed as an online spreadsheet and is meant to mimic the way a spreadsheet is set up. The only difference is the spreadsheet
...more>>
 Open Discrete Dynamic Programming Template (OpenDDPT)  Centi Riccardo
OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter (as neural network).
...more>>
 OpenFVM CFD solver
OpenFVM is a general CFD solver released under the GPL license. It was
developed to simulate the flow in complex 3D geometries. Therefore, the
mesh can be unstructured and contain control volumes with arbritrary shape.
The code uses the finite volume
...more>>
 OpenStat4 (OS4)  Bill Miller
A statistics package offering descriptive statistics such as central tendency and variability indexes, xy plots, and frequency distributions; Pearson productmoment correlations and partial correlations; analyses of variance including 1, 2 and 3way
...more>>
 OpsResearch  DRA Systems
A collection of Java classes for developing operations research programs and other mathematical applications. The site includes documentation and tutorials, and software download is free. Also features a bookstore and related links.
...more>>
 Optimalcut Web Software
Fee JavaScript optimization solver for cutting stock and bin packing problems. Specify pieces and rolls to linearly cut rectangles out of bars, pipes, tubes, metal profiles, extrusions, linear wood boards, and more (1D cutting); or sheets made of glass,
...more>>
 Optimalon Software  Denis Smirnov, Optimalon Software
Developing software for general linear programming tasks arising in educational, research and production areas. Includes an introduction to linear programming problems in the links section.
Products: GIPALS is a linear programming environment that combines
...more>>
 OptimalView  Sheela Belur
A Windows standalone program for minimizing a function by the simplex method
of Nelder and Mead. The trial software is twodimensional.
...more>>
 Optimization Technology Center  Argonne National Laboratory and Northwestern University
A research center dedicated to optimization problems. The "optimization tree," with descriptions of the different subfields of numerical optimization; interactive demonstrations and case studies, including the diet problem and minimum surface area; linear
...more>>
 Optimizer for Anyshape  SAMTEC
A professional profile nesting software package designed to maximize the use of material by generating most optimized nested layouts. It is a powerful true profile nesting software for gas/plasma/oxyfuel/laser cutting that will automatically optimize
...more>>
 Optimizer Suite  SAMTEC
A professional rectangular nesting software package designed to maximize the use of material by generating most optimized nested layouts. It is based on a highly advanced cutting algorithm, specially designed to optimize the cutting layouts in shearing,
...more>>
 The Organic Mathematics Project  Centre for Experimental and Constructive Mathematics (CECM)
A collaborative research project involving a number of researchers at the Centre for Experimental and Constructive Mathematics (CECM). Involves in part the development of WWWbased and Mapleassisted tools for document annotation and math activation.
...more>>
 OR/MS Today
Online version of the magazine for members of the Institute for Operations Research and the Management Sciences (INFORMS). Current and previous issues, with full text of many articles; subscription information; software surveys; classified ads and list
...more>>
 ostermiller.org  Stephen Ostermiller
Converters, Calculators, and JavaScript include Multiplication Game, in which letters represent digits in a multiplication problem; Length, which converts between units of length and distance; Roman Numerals, which converts between Arabic and Roman numerals;
...more>>
 Palisade
Software for Excel, including @RISK, using Monte Carlo simulation, and PrecisionTree, for risk analysis, decision analysis, optimization, and forecasting.
...more>>
 Panamath  Panamath.org
Have you ever tried to guess how many jelly beans are in a jar without counting? The Panamath test measures your number sense  your intuitive recognition of numbers and their relationships  and approximate number system (ANS) aptitude. Practice estimating
...more>>
 PaperFoldingFractals  Joel Castellanos, Rice University
A classroom teaching or personal learning software tool for Windows that can be an introductory lesson to fractals. Simple, stepbystep processes of paper folding can give rise to infinite verities of fractals. The user learns what fractals are and how
...more>>
 Paper Mosaics  Alex Bateman
Origami tessellations consist of a simple crease pattern unit that gets repeated across a sheet of paper. Download Tess, a computer program that aids in the design of such tilings; and browse a gallery of works created with the application.
...more>>
 Parabolic Path to a Best BestFit Line  Jeff Reinhardt and Joe Simons
To find the best bestfit line for a set of data, students will determine the line that minimizes the sum of the squared deviations from the observed data to that line. This activity uses dynamic statistical software (Fathom™ 2) to engage students in
...more>>
 Patterns of physical change  Phil Henshaw
Focuses on the use of tools such as derivative reconstruction (DR) to measure growth and changes in a system. Includes: a short paper "Is the basis of change evolutionary?"; a description of the theory of derivative reconstruction as a method of analyzing
...more>>
 Payoff Calculator  www.payoffcalculator.info
Financial calculators for finding out how long payments will take to pay off a loan, mortgage, or car loan. These payoff calculators also estimate how much you can save by adding extra contributions to your payments.
...more>>
 PDEase2D  Macsyma Inc.
PDEase solves a range of nonlinear problems in heat transfer, solid mechanics, fluid mechanics, groundwater flow, electromagnetics, chemical reaction diffusion, and quantum mechanics. It simplifies finite element analysis with automatic gridding, automated
...more>>
 Peanut Software for Windows  Rick Parris
Abstracts and links for downloading free mathematics software: Wingeom (highprecision geometric constructions); Winplot (generalpurpose plotting utility); Winstats (scatter plots, curve fitting, histograms, statistical data, and standard theoretical
...more>>
 PEEI: a computer program for the numerical solution of systems of partial differential equations.  Giacomo Lorenzoni
The program PEEI calculates a numerical solution of almost all the systems of partial differential equations who have number of equations equal or greater of the number of unknown functions. Free download. For Windows XP/Vista/Server 2003.
...more>>
 Peek: Ndimensional polytope visualization by crosssection and projection  Gordon Kindlmann
A program to explore higher dimensional objects interactively through the use of crosssections and projections. The goal is for the user to gain some intuition about higherdimensional geometry. Projective views and 3dimensional crosssections of hypercubes.
...more>>
 Peeze  Patrick Snels
Tessellations and Escherlike perspectives, and tessellations of names, with Peeze, a tessellation program (Windows, PC) to download.
...more>>
 Penrose Tiling Generator  Stephen Collins
A software package for Windows NT, for generating rhombic Penrose tilings and investigating symmetrical topological chains within them.
...more>>
 Percentage Calculator  Chris Misenheimer
JavaScript percentage calculator; percentage calculator in common phrases; percent calculator; add or subtract a percentage (tips, percent off, sales price, tax); percent change; percent error; and percent difference.
...more>>
 Percent  David Giordano
For Win95/98/ME/NT4/2000/XP, or for Pocket PC/Windows CE: calculate the percentage of any number out of any number. Free trial download; shareware program.
...more>>
 Phalanstère  Équipe de Combinatoire Algébrique, Université de MarnelaVallée
Research into the relations between algebra and combinatorics. Membres; Publications; Logiciels; Séminaire. In French.
...more>>
 Philosophy of Science  David Banach
A syllabus and collected resources for a course in the philosophy of science, including excerpts from various books. Topics include ancient Greek science and mathematics: the Golden Section, Pythagoras, infinity and continuity, and Plato and Aristotle,
...more>>
 Physics ToolChest: Vector Algebra Tools  ToolChest Software, Inc.
Multimedia educational software in physics and mathematics. Advanced calculators and study aids for high school and college students.
...more>>
 Pick a number from 1 to 10 ... for SCIENCE!  Alec Perkins
"When asked 'pick a number from 1 to 10,' people tend to pick certain numbers more than others, in particular 7 and 4 over the extremes...." Participate by choosing your own number; see bar graphs and line plots of data submitted thus far according to
...more>>
 pLab: Random Number Generation  Peter Hellekalek; Mathematics Dept., University of Salzburg
Results and links on this fundamental topic in stochastic simulation. RNGs are deterministic algorithms that produce numbers with certain distribution properties. Roughly speaking, these numbers should behave similar to realizations of independent, identically
...more>>
 plantri and fullgen  Gunnar Brinkmann, University of Bielefeld, and Brendan McKay, Australian National University.
Programs for generating certain types of planar graph. Graphs are generated in such a way that exactly one member of each isomorphism class is output without the need for storing them. The speed of generation is more than 100,000 graphs per second in
...more>>
 Poly and Poly Pro  Pedagoguery Software
Mac and Windows shareware programs for exploring and constructing paper models of polyhedra. With Poly, you can manipulate a polyhedral solid on the computer and print out a flattened version (a net) which can then be cut out, folded, and taped, to produce
...more>>
 Polygon Boolean operations on sets of polygons  Klaas Holwerda
Boolean: GDSII viewer/editor + (boolean) operations on sets of 2d polygons. Operations; Introduction; screenshots; C ++ source, executables and documentation for download; Acknowledgments, Feedback, mailing list; documentation (algorithm); documentation
...more>>
 Polyhedra in the Classroom  Suzanne Alejandre
Middle School student activities to pursue with a computer in the classroom. Introduction to Polyhedra; paper nets to print out and fold; Kaleidotile; Buckyballs; Crystals (paper nets, systems); Cube coloring problems; links to polyhedra on the Web.
...more>>
 Polyhedron: An application in solid geometry  Stelian Dumitrascu
Software based on "deductionfree geometry," which allows the user to perform various actions upon solids as if holding these solids in your hands. It simulates a number of tools, such as the ruler, protractor, setsquare, compass, bisector, saw, and eraser.
...more>>
 Polyhedrons: PolyMod Polyhedron Modeler  Daniel Grunberg
Free software for creating regular and irregular 3dimensional polyhedrons on the screen, view them from different angles, then print out their corresponding nets or templates to glue together to form the polyhedron.
...more>>
 Polyhedron Templates  Dan Grunberg
Design your own polyhedron paper models to print out, cut, fold, and assemble with glue. Build a net by choosing from among the five Platonic solids (tetrahedron, hexahedron, octahedron, dodecahedron, icosahedron), or use the advanced button to specify
...more>>
 Polymake  Ewgenij Gawrilow and Michael Joswig
A tool for the algorithmic treatment of polytopes and polyhedra. Polymake has
C++ and perl interfaces that allow the user to combine the wealth of available methods with his/her own implementations.
...more>>
 Popnoggin  Popspring LLC
Popnoggin is a software program that allows parents or teachers to "install" popup flash cards on any game or site a student uses. Set parameters for drilling math facts to "buy" time on the site or game.
...more>>
 POVRay  Persistence of Vision Raytracer Pty. Ltd
The Persistence of Vision RayTracer creates threedimensional, photorealistic images using a rendering technique called raytracing, which calculates an image of a scene by simulating the way rays of light travel in the real world. Download the latest
...more>>
 PowerMath: the Virtual Reality Mathematics Teacher  Alexandre Menezes, PowerClassroom Software, LLC
Modular, studentcentered instruction software for Windows, based on visualization of mathematical ideas. Available in licenses from one to unlimited users. Demo CD available. Pricing and topics listed on web site.
...more>>
 Power Spreadsheets  Jorge A. Gomez
Illustrated tutorials for Microsoft Excel, with accompanying practical examples and sample workbooks: formulas and functions, data analysis, PivotTables, Visual Basic for
Application (VBA), and more.
...more>>
 A Practical Guide to Wavelet Analysis  Christopher Torrence and Gilbert P. Compo
Read an introduction to wavelet analysis and Monte Carlo methods, or download it in PDF or PostScript format. Use an interactive wavelet plotting form to investigate sample time series or your own data. Download wavelet software in Fortran, IDL, or
...more>>
 
