 Mersenne.org  George Woltman
A domain created as a home for the Great Internet Mersenne Prime Search (GIMPS).
Mersenne primes are named after the French monk Marin Mersenne. The goal of the search is to find ever larger Mersenne primes. You can join this search by downloading the
...more>>
 Mersenne Prime Freeware  Conrad Curry
An extensive list of software, with descriptions, for various operating systems, as well as libraries and developeroriented links.
...more>>
 MetaPRL logical programming environment  Hickey, Nogin, et al.
The next generation of the NuPrl proof development system. MetaPRL is two things: it is a logical framework where multiple logics can be defined and related, and it is a system implementation with support for interactive proof and automated reasoning.
...more>>
 METIS: Family of Multilevel Partitioning Algorithms  George Karypis
A family of programs for partitioning unstructured graphs and hypergraphs and computing fillreducing orderings of sparse matrices. Includes serial and parallel graph partitioning and sparse matrix ordering and serial hypergraph partitioning.
...more>>
 MGNet  Craig C. Douglas
A repository for information related to multigrid, multilevel, multiscale, aggregation, defect correction, and domain decomposition methods, used primarily by scientists and engineers to solve partial differential equations on serial or parallel computers.
...more>>
 MicroGeometry  Marcus Pontuti
A solid geometry volume and surface area calculation utility for the PalmOS PDA. featuring thirteen of the most common shapes, supporting equations, and the ability to build composites. All equations are listed on the site.
...more>>
 Midwest GeoGebra Journal  Michael Todd Edwards and Steve Phelps, Editors
The official publication of the GeoGebra Institute of Ohio, Midwest GeoGebra Journal publishes articles about the use of GeoGebra in teaching and learning mathematics at all levels.
...more>>
 Miniball Project: Smallest Enclosing Ball of Balls  Bernd Gärtner, Institut für Theoretische Informatik, Switzerland
Code for finding the miniball, or smallest enclosing ball, of a given set of balls in ddimensional Euclidean space. Download available in C++
...more>>
 Minitab Inc.
"Making data analysis easier." MINITAB is statistical software that can be used for basic statistics, regression analysis, analysis of variance, tables, multivariate analysis, statistical process control, reliability/survival analysis, nonparametrics,
...more>>
 MIT Aero/Astro Scientific Visualization  Massachusetts Institute of Technology
Visualization software developed at MIT: Visual2, Visual3 and pV3 are software packages aimed at aiding in the analysis of a particular suite of problems. They
were designed for Computational Fluid Dynamics but are more general. Each deals with a programmerdefined
...more>>
 MMach 1.3: Khoros 2.1 Toolbox on Mathematical Morphology  Adriano Nagelschmidt Rodrigues, Junior Barrera, Roberto de Alencar Lotufo, Roberto Hirata Jr.
Mathematical morphology is a general theory that studies decompositions of operators between complete lattices in terms of some families of simple operators: dilations, erosions, antidilations and antierosions. This theory is largely used in computer
...more>>
 Mobile Maths  Abel Beicha, Mobile Maths
MathPro is a numerical computing environment and programming language for mobile devices. MobileMaths is a suite of calculating and graphing utilities. Trial version available.
...more>>
 Modulef: Methods and Tools for Scientific Computing  Michel Bernadou
The MODULEF project was dissolved on December 31, 1995. The members of this project created the GAMMA project and the MOSTRA preproject. Activity report of the project (1995) (French  abstract in English), research reports of the project, videos and
...more>>
 Molecular Information Theory and the Theory of Molecular Machines  Tom Schneider
Introduction to the use of information theory in studying molecular biology. The author is part of the Molecular Information Theory Group, a section of the Laboratory of Computational and Experimental Biology at the National Institutes of Health in Frederick,
...more>>
 The Money Smith Cyberport  Money Smith Systems Inc.
Money Smith is a double entry accounting system, financial calculator, and investment tracking system offered as shareware. Money Smith tracks finances in one place, and generates graphs and reports. Reviews; ordering information; User Exchange; Year
...more>>
 Monte Carlo Simulation Excel AddIn  Luciano Machain
An addin for Microsoft Excel, distributed as "emailware". SimulAr adds probability distribution functions to spreadsheets for performing Monte Carlo simulation and risk analysis under uncertainty conditions. Possibility of correlating variables. Fitting
...more>>
 More Meaningful Math  Monika Schwarze
An international project to motivate students ages 12 to 16 with problems that show the importance of mathematics in real life and related to other subjects, and to enrich their teachers' methodology. Browse the file archive of freely downloadable documents
...more>>
 MOTIVATE  Univ. of Cambridge, UK
MOTIVATE is a project incorporating a series of videoconferences, run by the Millennium Mathematics Project at Cambridge. The objectives of MOTIVATE are: to enrich the mathematical experience of school students, to broaden their mathematical horizons,
...more>>
 Multicultural Math Fair  Suzanne Alejandre, Frisbie Middle School
Twentynine percent of Frisbie's student population is Limited English Proficient; Arabic, Cambodian, Chinese, German, Indonesian, Korean, Philipino, Polish, Portuguese, Romanian, Samoan, Spanish, Taiwanese, Vietnamese, and Urdu are represented. In 199394
...more>>
 Multigrid Algorithm Library  Ulrich Ruede; German Scientific Computing Pages
Multigrid (MG) methods are fast linear iterative solvers based on the multilevel or multiscale paradigm. The typical application for multigrid is in the numerical solution of elliptic partial differential equations in two or more dimensions. MG can be
...more>>
 Multiple Regression with Applications  Elmer G. Wiens; Egwald Web Services Ltd.
Statistics programs with multiple regression and restricted least squares,
interactive and online model, used to predict Canadian Elections and to
estimate the ceofficients of a CobbDouglas Production Function.
...more>>
 Multirate Signal Processing Group  Univ. of Wisconsin  Madison
Members' research, software developed by the group, references; people, publications, other links.
...more>>
 Multithreaded Fractal Generator  Martin Hilpert
A fractal generator that is platform independent (running on any Java Virtual Machine) and uses many threads to calculate fractals for improved speed on multiprocessor/multicore computers.
...more>>
 MUltlog  Gernot Salzer et al.
MUltlog is a system that takes as input the specification of a finitelyvalued firstorder logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic. All generated rules are optimized regarding their
...more>>
 MUltseq  Gil, Salzer
MUltseq is a generic sequent prover for propositional finitelyvalued logics. It is intended as companion for MUltlog, which computes optimized sequent rules from the truth tables of a finitely valued logic. MUltseq uses these rules to construct derivations
...more>>
 MultyGraphiX 2D & 3D function plotter  Sergey Petrov, ADC Software
Plot any mathematical 2D and 3D, explicit and parametric functions. Allows users to plot functions in Cartesian, polar, cylindrical, and spherical coordinates. Trial version available for this commercial software. Windows only.
...more>>
 Music and Virtual Flowers  Robert Walker
Fractal music, fractally based flowers, and geometrical models.
Programs are available for download. Make four and higherdimensional cubes and simplexes, then rotate them into the higher dimensions (so that the three dimensional projections change
...more>>
 MyBrain! A Cellular Automata Program  Ole Petersen
Download a small, powerful zipped CA program for any level of education/recreation.
...more>>
 Na_WorkSheet  Dana Proctor
The Na_WorkSheet is a collective aggregation of algorithms coded in
Java that implements various Numerical Analysis solutions/techniques.
The worksheet is generally aimed at educators and students that would
like to demonstrate or analyze various Numerical
...more>>
 Nauty  Brendan D. McKay; Australian National University
A program for computing automorphism groups of graphs and digraphs that can also produce a canonical labelling.
...more>>
 Neat Math and Programs  Robert Simms, Clemson University
A Map of All Triangles (and see the Introduction to a Euclidean Model of Hyperbolic Geometry; Porch Things (the underlying structure is a cube); generating Pythagorean Triples (includes a JavaScript calculator and a way to generate them from one number);
...more>>
 NEOS Guide (NetworkEnabled Optimization System)  The Optimization Technology Center
A thumbnail sketch, outlines of the major algorithms, and pointers to software packages on optimization and its various subdisciplines: integer programming, stochastic programming, network programming, bound constrained, nonlinearly constrained, linear
...more>>
 Nesting Software for Cutting Glass, Metal, Cutting Optimizer  Tom Tang
Nesting software for reducing scrap and generating optimum layouts for
cutting and nesting in sheet metal layout, fabrication, glass, building
panel, and woodworking industries. Samples and free demo downloads.
...more>>
 Nesting Software: PLUS (PaneL Utilization Software)
Software for reducing scrap and generating optimum layouts for cutting in sheet metal layout, fabrication, glass, building panel, and woodworking industries. Samples and free demo downloads.
...more>>
 Neural network music composition by prediction  Michael C. Mozer
Exploring the benefits of psychophysical constraints and multiscale processing. In algorithmic music composition, a simple technique involves selecting notes sequentially according to a transition table that specifies the probability of the next note
...more>>
 New York Group Theory Cooperative at CCNY
Genetic algorithms, open problems and preprints in combinatorial and geometric group theory, meetings, links, and MAGNUS, a free (GPL) graphically oriented system, based on Tcl/Tk, for computational group theory designed to allow for exploration and experimentation
...more>>
 NonEuclid  Joel Castellanos, Joe Dan Austin, Ervan Darnell
A Java program offering straightedge and compass constructions in hyperbolic geometry for high school and college students. A compressed version for PCs may be downloaded for use offline. The site includes an introduction to hyperbolic geometry, plus
...more>>
 Nonlinear Regression Analysis Program  Phillip H. Sherrod
NLREG is a statistical analysis program for Windows 95/98 and Windows NT which performs linear and nonlinear regression analysis and curve fitting. The software package determines the values of parameters for an equation, the form of which you specify,
...more>>
 NumberSpiral.com  Robert Sacks
Instructions, observations, formulas, and a glossary about number spirals, formed by writing the nonnegative integers on a ribbon, rolling it up with zero at the center, and arranging the spiral so all the perfect squares line up in a row on the right
...more>>
 NumberTheoretic Hacks  David Eppstein, Theory Group, ICS, UC Irvine
Simple numbertheoretic algorithms. Egyptian Fractions  algorithms and references; C++ implementation of J. H. Conway's "nimber" arithmetic; C++ fast algorithm for computing 2adic inverse; C program for rational approximation of real numbers; Interference
...more>>
 Number Theory Calculator  Bardesane: Giuseppe Merlino
A blog with free math programs for Windows: prime numbers, twin prime pairs, Goldbach conjecture, Collatz conjecture, Fibonacci numbers, N = x^2 + y^2, modpow (A^B mod. C), primality test, prime factors, divisors number and sum, Pascal's triangle, nextprime,
...more>>
 numberworld.org  Alexander J. Yee
Yee takes mathematical constants such as pi, SQRT2, the golden ratio, e, log(2), log(10), and zeta(3) and calculates them to billions of digits. Read about and download ycruncher, his multithreaded piprogram. See also his timetable of notable large
...more>>
 Numeracy Works  David Hartmann, Numeracy Works LLC
Numeracy Works is a commercial software company which sells Tabula, a new tool for math education. Use Tabula to create, construct, cut, tape, fold, and transform. Make fold patterns, tiling patterns, tessellations, and perspective drawings. Also on
...more>>
 The Numerical Algorithms Group (NAG)  Oxford, UK
Products and services; libraries for the solution of mathematical problems: numerical software; statistical software covering all areas of statistical computation; compilers, tools, and code coverters for developers and programmers, symbolic software
...more>>
 Numerical Analysis  JeanPierre Moreau
Numerical analysis source code in BASIC, C++, FORTRAN, or Pascal. Program topics include real and complex roots, evaluation of Bessel functions, signal processing, matrices, and statistics.
...more>>
 Numerical Mathematics
Numerical mathematics software and general explanations of methods used.
...more>>
 Numerical Methods  Douglas N. Arnold; Mathematics Dept., Penn State University
An extensive list of centers (including online services and search engines), individual libraries, other sites (general and specific), journals, books, online publications, and other resources for numerical methods.
...more>>
 Numeritek  E. F. Toro
Home of Numerica, a library of source codes for solving hyperbolic partial differential equations using a broad range of modern, highresolution shockcapturing conservative and nonconservative numerical methods. Most of the programs are based on upwind
...more>>
 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>>
 
