 MathWare Ltd.
Software and books for algebra, geometry and calculus: Derive, MathPert, Scientific Notebook, Cyclone; books for use with the TI Graphing Calculators, and a book and CD for Mathematica. Also an Interactive Math Dictionary on CDROM with biographical entries,
...more>>
 MathWorld: Eric Weisstein's World of Mathematics  Eric W. Weisstein and Wolfram Research, Inc.
A fulltext searchable, comprehensive alphabetical encyclopedia of math terms, equations, and derivations, with explanations, examples, references, and much more. Everything from Abacus to Zsigmondy Theorem. (Formerly the CRC Concise Encyclopedia of Mathematics,
...more>>
 Math WWW VL: Specialized Fields  Dept. of Mathematics, Florida State University
Links to sites for resources in specialized fields in collegelevel mathematics.
...more>>
 MERLOT Mathematics Portal  MERLOT (Multimedia Educational Resource for Learning and Online Teaching)
Free highereducation online teaching materials, and a user community centered around those materials. Free registration allows users to create, contribute, collect, and comment on resources, or become a peer reviewer or guest speaker. The site offers
...more>>
 Metamath  Norman Megill
A site for proofs and logic. Includes: Metamath Solitairea Java applet that lets you build simple proofs in logic and set theory (builtin: the axioms of logic and ZFC (ZermeloFraenkel with Choice) set theory) with source code and other web resources;
...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>>
 Middle School Problem of the Week  Department of Mathematics, Southwest Missouri State University (SMSU)
Word problems in number patterns, algebra, geometry, and other topics. Read the solution to the most recent problem, and archives of previous problems and their answers.
...more>>
 MiGen  London Knowledge Lab
This generalization software microworld presents the abstractions of algebra in a visual format. With MiGen's simple sequences of coloured tiles, young learners construct patterns (eGeneraliser), express their structure and relationships (eXpresser),
...more>>
 Minesweeper Logic  Ivars Peterson (MathTrek)
In the basic version of this Windowsbased game, the player faces a gray landscape of 64 blank squares in an eightbyeight grid. The object is to locate 10 randomly placed "land mines" hidden among the playing field's squares, working as quickly as possible
...more>>
 Missing Dollar  Math Forum, a Classic Problem from the Ask Dr. Math FAQ
Three men go to stay at a motel, and the man at the desk charges them $30.00 for a room. They split the cost ten dollars each... where is the missing $1.00?
...more>>
 Mission: Critical  San Jose State University, California
A selfpaced interactive tutorial for critical thinking. Introduce your students to the basic concepts of logic. Immediate reinforcement to a series of increasingly complex exercises is provided after each right or wrong answer.
...more>>
 Moment of Truth  Keith Devlin (Devlin's Angle)
"Just what do we mean by a 'proof'? It seems that mathematicians  and to avoid generating too many letters of complaint, let me hasten to rephrase that as 'we mathematicians'  are somewhat schizophrenic when it comes to answering this question. When
...more>>
 Monocosm: Introduction to Linear Xenology  Vladimir Trifonov; American Mathematical Society (AMS)
A ToposTheoretic Approach to the Foundations of Physics. The FourDimensionality Problem: Why does observable spacetime look fourdimensional? is related to the Compactification Problem. The Effective Metric Signature Problems: Why is the metric of signature
...more>>
 Monty Hall Dilemma  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
A full discussion (including simulation) of the famous "three doors" problem, also known as the Game Show problem.
...more>>
 The Most Common Errors in Undergraduate Mathematics  Eric Schechter
Errors in communication: teacher hostility, student shyness, bad handwriting, not reading directions, loss of invisible parentheses, terms lost inside an ellipsis; Algebra errors: sign errors, everything is additive, everything is commutative, undistributed
...more>>
 Mr. Myers' Classroom  Nathan Myers
Read the puzzle of the week and then submit your answers online. Other "brain busters" include matrix logic puzzles, featuring readymade charts. Explore and identify fraction bars with JavaScript, or geometry with Java applets. Also, fact sheets and
...more>>
 MSMS World of Logic  Claudia Carter; Mississippi School for Mathematics and Science (MSMS)
MSMS Logic and Game Theory is a study of logic, symbolic notation, truth tables, simple game theory, and problemsolving strategies. Links to significant figures in the world of logic: Lewis Carroll, George Boole, Giuseppe Peano, Von Neuman, Willard Van
...more>>
 m@th IT
A "platform to promote, propagate, and mediate applied mathematics and computer sciences," with emphasis on cryptography, number theory, financial mathematics, logic and knowledge representation, and quantum computation. In particular, m@th IT offers
...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>>
 ncase  Nicky Case
Interactive projects that illuminate principles of game theory, logic, and other topics, such as the parable of the paragons (with Vi Hart), coming out simulator (a halftrue game about halftruths), and sight & light (how to create 2D visibility/shadows
...more>>
 The nCategory Café  John Baez, David Corfield, and Urs Schreiber
A blog devoted to "that heady interface between physics, mathematics and philosophy." Read posts, many with MathML, that date back to August, 2006.
...more>>
 Neutral and NonEuclidean Geometries  David C. Royster; University of North Carolina at Charlotte
Course notes that include: Origins of geometry; spherical geometry; logic and the axiomatic method; proof; Euclid's mathematical system; incidence geometry; betweenness axioms; congruence theorems; axioms of continuity; neutral geometry; theorems of continuity;
...more>>
 New Foundations  Randall Holmes
Developing site for the set theory "New Foundations," first introduced by W.V.O. Quine in 1937. A refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. Site
...more>>
 New York Regents Exam Prep Center  Oswego City School District
A site dedicated to assisting high school students in preparing for the "new" New York State Math A Regents Examination. Covers Algebra, Geometry, and Algebra II/Trig. The materials featured for each topic include: general review/formula sheet, Regents
...more>>
 Nils Ahbel  Deerfield Academy, Deerfield, MA
Access Ahbel's Blackboard courses as a guest to preview his teaching resources and download Excel files in algebra, functions, statistics, and trigonometry.
...more>>
 Nonstandard Analysis and the Hyperreals  Jordi Gutierrez Hermoso; Math Forum, Ask Dr. Math FAQ
An essay introducing the most basic ideas of nonstandard analysis and the hyperreal number system. Contents: A Very Brief History of AlmostNothing and MorethanEverything; The Hyperreal WishList; Construction of the hyperreal numbers; Hyperreal arithmetic;
...more>>
 NSDL Middle School Portal: Math Pathway  NSDL; the Ohio State University
A middle school portal into NSDL's math resources, browsable by topic, or choose a preselected set of resources on given subjects.
...more>>
 Numb3rs Math Activities  Cornell Department of Mathematics
Notes and activities on the mathematics behind each CBS television broadcast of the FBI crime series NUMB3RS, from the pilot episode through season five: Uncertainty Principle, Sniper Zero, Dirty Bomb, Assassin, Toxin, Backscatter, Two Daughters, Burn
...more>>
 Numberplay  The New York Times
Mathematical, logical and scientific puzzles, with solution "recaps." The posts, by Gary Antonick and Pradeep Mutalik, have included "Surreal Hat Tricks," "The Puzzles of Pickover," "Prime Rib at Hogwarts," "Nim for (a) Change," "Phi  The Magic and the
...more>>
 Numericana.com  Gérard P. Michon
The online companion of Numericana, this site contains excerpts from Michon's book, including the entire glossary of scientific terms. Browse an index with pithy summaries, browse by popularity, or search nearly two hundred of his "final answers" of readers'
...more>>
 Nummňlt  Maurici Carbó Jordi
Java applets: an area "workshop," which explains area and division by converting numbers in area units; an architect's toy blocks, with gravity; connecting and programming elementary logic (in the form of pipes with light bulbs signifying true sentences);
...more>>
 Nummòlt  Maurici Carbó Jordi
Math teaching resources built by architects include base 10 block manipulatives; a block construction toybox; a logic construction toybox; an area workshop; and MathCats balance. See, in particular, Nummòlt's openended obbl & math toys: adding
...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>>
 One Trip to the Attic? (Math Chat)  Frank Morgan, MAA Online
In the lobby of a hotel there are three on/off switches. One is attached to a light bulb on the third floor; the other two are attached to nothing at all. You may work the three switches as often as you please. How many times do you need to visit the
...more>>
 Onlineindiaeducation  Atul Mittal
Page after page of questions with links to view answers and explanations: aptitude (area, series, "problems on trains," boats and streams, odd man out, and more), puzzles (sudoku, number, logical, clock, etc.), and reasoning (cause and effect, arithmetic,
...more>>
 OnLine Logic Book  Johan Mårtensson
An introductory text, with accompanying Java teaching tools for specific topics. Includes an introduction to logic itself and chapters on ontology and semantics.
...more>>
 Onlineunitconversion.com
Oover 225,000 conversions, togethr with explanations of their history and use.
...more>>
 Open Logic Project
An opensource, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a nonmathematical audience. Completely rigorous, the Open Logic Text text strives for modularity, configurability, adaptability, and integration
...more>>
 An Outline of the Proof of Gödel's Incompleteness Theorem  Michal Wojcik
On this page we give an outline of the proof of Goedel's Incompleteness Theorem. We construct a statement in set theory such that it is not a theorem and its negation is not a theorem. What we show on this page is not a presentation of the proof that
...more>>
 P2S Games  P2S Information Systems Pvt. Ltd
Online games that challenge you to click your way to filling containers of liquids (Fill It Up), completing equations with operations (Equation), adding adjacent tiles to maximize their overall sum (Maximize), selecting operations between the 4s to make
...more>>
 Panthera's Puzzle Contest  Dr. Amy Galitzer; Puzzle University
A weekly contest of math, logic, and word puzzles sponsored by the American Mathematical Society and the University of Maryland Mathematics Department. You can submit your own puzzle for the next contest by signing up to participate, or simply read the
...more>>
 Paradox (Encarta Encyclopedia 2000)  Microsoft Encarta Online
Paradox, in logic and mathematics, an apparently contradictory conclusion that is derived from what seem to be valid premises.
...more>>
 Pass Calculus  Le Site PassCalculus.com
Calculus question solution service. Solutions offered via email, phone, or fax; quotes are free; payment by credit card. Sample solutions and FAQ online.
...more>>
 Pattern Based Reason  Alan Selby
This book surveys rule and pattern based thought in daily life, society, science and technology. The first chapters show how reliable implication rules can be employed one at a time or one after another to arrive at conclusions. The middle chapters describe
...more>>
 Penn State University Mathematics Department
Course home pages and instructional material; seminars, colloquia, and conferences; and subject area pages for Penn State research centers, with preprints and links to other resources on the Web: Algebra and Number Theory; Dynamical Systems; Mathematical
...more>>
 Perfect Symmetry Number Theory  Derek Nalls
A fundamental, educational exposition of a nonstandard number theory based upon perfect symmetry (in contrast to broken symmetry) modelled throughout arithmetic, algebra, analytic geometry, analytic trigonometry and calculus.
...more>>
 Permadi.com  F. Permadi
Java and Flash applets: logic games, drawing and patternmaking programs, Conway's Life, and more arcadestyle offerings. Also includes tutorials in using Flash and a graphics gallery.
...more>>
 Perplexus  flooble
A large archive of mathematically inclined puzzles and problems displayed by category. Includes logic, number theory, geometry, probability and other problems. All are rated by difficulty and quality and discussed in depth by visitors. Most with solutions.
...more>>
 Personalized Programming Service Inc.
Educational software for teachers and students. Topical software in Math, English, Social Studies, and Science, as well as Quizmaker and Testmaker programs. Download demos and upgrades, browse the products, or order on site.
...more>>
 
