 A compendium of NP optimization problems  Crescenzi & Kann
A continuously updated catalog of approximability results for NP optimization problems. Because no NPcomplete problem can be solved in polynomial time (unless P=NP), many approximability results (both positive and negative) of NPhard optimization problems
...more>>
 Computability Theory  Peter Cholak
A resource for computability theorists. Includes a Bibliographic Database for Computability Theory; Open Questions in Recursion Theory: LaTeX or dvi; a link to the Association for Symbolic Logic; and links to pages of people who work (or have worked)
...more>>
 Constraints  Davide Cucciniello
This SATbased propositional (Boolean) logic engine for the iPhone lets you add, modify, delete, enable or disable constraints; assign values (true, false) to Boolean variables; and find all possible assignments to unassigned Boolean variables as solutions
...more>>
 The Counterfeit Coin  Ivars Peterson (MathTrek)
The classic puzzle of the counterfeit coin has long served as a stiff test of one's reasoning power and ingenuity. In its standard form, the problem concerns 12 coins identical in size, shape, and appearance. One coin, however, is counterfeit, having
...more>>
 A Crash Course in Symbolic Logic  D.J. Brasier; Math Forum, Ask Dr. Math FAQ
Is symbolic logic so hard that some people will just never be able to get it? In a gentle introduction to the notation and rules of derivation used in symbolic logic, Dr. Achilles shows why the answer to that question is 'No'.
...more>>
 Creative Java Puzzles  J. L. Read, Enchanted Mind
Games "good for exercising both sides of the brain." Knight's Tour: pass all the squares of the board with the knight, making only legal moves. Peg Solitaire: Remove all the pegs in the least amount of time, finishing with only one peg in the target hole.
...more>>
 Critical Thinking Books and Software
Critical thinking books and software for home and classroom for use in mathematics, science, language arts, social studies, and more. Search for Content Area Mathematics from the classroom catalog or the home catalog.
...more>>
 CROC'Sciences: le net.magazine de la pédagogie des sciences  P. Lambert
Un mensuel faisant le tour des sites scientifiques d'intérêt
pédagogique, soit pour la construction d'un cours, soit pour les
élèves euxmêmes. Chaque numéro comporte 6
catégories: Mathématiques,
...more>>
 CS22: Discrete Math  Brown University
An introduction to discrete math with a focus on proof, logic, proof by induction, cryptography and networks of processors: lessons, homework, solutions, and information. "Discrete mathematics" refers to the distinction between discrete sets (for example,
...more>>
 Daniel J. Velleman  Daniel J. Velleman, Department of Mathematics and Computer Science, Amherst College
In addition to Velleman's selected papers, link to his books, software, and unpublished papers, including Proof Designer, a Java applet designed to help students learn to write proofs in elementary set theory by outlining the steps of proofs under the
...more>>
 Database of Existing Mechanized Reasoning Systems  Kohlhase, Talcott.
A 1999 page designed to represent the state of an ongoing effort to collect information about existing automated reasoning systems  automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools. The page
...more>>
 DavidZiskind.Org  David Ziskind
Articles discussing variational problems, ordinary differential equations, series reversion, least squares regression, quantifiers, extrema, internal rate of return, and other mathematical topics.
...more>>
 DC Proof  Dan Christensen
New software to teach the fundamentals of logic and proof. Enables user/student to write errorfree proofs by selecting rules of inference, axioms, etc. from convenient dropdown menus. Includes tutorial with exercises.
...more>>
 Department of Logic  Faculty of Philosophy, Moscow State University, Russia
In English and Russian. History of the department, staff, books, papers, courses, news.
...more>>
 Digital Math  Santa Barbara County Education Office
A site to assist Algebra I, Grade 7, and Grade 6 students, their parents, and educators with the California State Mathematics Content Standards. Log in for Quicktime that provides stepbystep instruction to solve problems aligned with the mathematics
...more>>
 Dominoes Activity  Suzanne Alejandre
A classroom activity (similar to Pentomino + 1 = Hexomino; a variation on polyominoes) aligned to the NCTM and California Standards, to be explored through manipulatives (paper dominoes). Students explore whether it is possible to cover a 6x5 grid with
...more>>
 Downloadable Articles, Papers & Materials  Michael de Villiers; Mathematics Education, Univ. of DurbanWestville, South Africa
Articles by Villiers related to geometry and geometry education some in PDF format, including: An Extended Classification of Quadrilaterals; A Mathematical Treasure Hunt; Place Kicking Locus in Rugby; Sketchpad Solutions and Results; A Dual, and Generalizations,
...more>>
 Draft version of MSC2000  European Mathematical Society (EMS)
The proposed revision of the 1991 Mathematics Subject Classification (MSC), the classification used by the two reviewing journals Mathematical Reviews (MR) and Zentralblatt für Mathematik (Zbl) since the beginning of 1991. MSC2000 is the result of
...more>>
 Easier Fibonacci puzzles  Ron Knott
Puzzles that are simply related to the Fibonacci numbers....; Brick Wall patterns; Making a beeline with Fibonacci numbers; Chairs in a row; Stepping Stones; Fibonacci numbers for a change!; Telephone Trees ; Leonardo's Leaps; Fix or Flip; Two heads
...more>>
 Education: Mathematics  The Mining Company
Web resource lists of sites: see sciences  physical/computer and, beneath, mathematics by Kristin Matherly, with links to sites "in the spotlight" and topics: Algebra; Applied Math; Books; Business Math; Careers; Calculus; Communities; Competitions;
...more>>
 EduWare  EduWare, Inc.
Eduware Software lets teachers create exams for any subject or from test banks of Regents questions for Science, Social Studies, Foreign Languages, and Math, using the Wizard Test Maker program. Math subjects include logic, algebra, geometry, the coordinate
...more>>
 Elementary Computer Mathematics  Kenneth R. Koehler
An introduction to the mathematics used in the design of computer and network hardware and software. This hypertextbook's goal is to prepare the student for further coursework in such areas as hardware architecture, operating systems internals, application
...more>>
 Elementary 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>>
 Eli's Math and Logic Puzzles and Other Interesting Things  Eli Karplus
A mixed bag of problems, some geared toward the 6th grade level, others to challenge college folk, with answers for a few. Three Men in a Hotel/The Missing Dollar; The Boatman Crossing the River with Fox, Chicken, and Cabbage; Benardete's Paradox; The
...more>>
 The Elverson Puzzle Co., Inc.
The creators of Jacob's Revenge, the classic wine bottle puzzle. Elverson Puzzle also makes a Tangram Puzzle, the eleven tiles of which form a 6 inch diameter circle; Farkle, a game played with extra large wooden dice or online, with the dice roller that
...more>>
 Enigmatum, Centre des Énigmes
In French: A tous ceux qui aiment se creuser la tête, de nombreuses énigmes classées
par thèmes: logique, mathématiques, paradoxes etc.. Toutes les énigmes sont
accompagnées de leurs solutions. Des plus petits au plus grands venez
travailler votre
...more>>
 Erich's Puzzle Palace  Erich Friedman
Mathematical puzzles, with solutions, in the following categories: mirror puzzles, number puzzles, hex loop puzzles, path puzzles, battleship puzzles, triangulation puzzles, grid puzzles, criscross puzzles, weight puzzles, and logic puzzles. In particular,
...more>>
 Essay Ideas  Jim Wilson, Dept. of Mathematics Education, Univ. of Georgia
For a course on Using Computers in Mathematics Instruction. Friday the 13th (show there are at most three and at least one Friday the 13th in each year, consider when two consecutive months can be have Friday the 13th); Gingerbread Man (a Microsoft Excel
...more>>
 Euclid's Elements  David Joyce; Dept. of Mathematics & Computer Science, Clark University
A version of Euclid's Elements created by David Joyce to rekindle an interest in the Elements and to show how java applets can be used to illustrate geometry and to bring the Elements alive. The text of all 13 Books is complete. Joyce writes: "...deductive
...more>>
 Eugenia Cheng
Research as well as "things for nonspecialists" by a mathematician "keen to bring mathematics to a wider audience and help reduce maths phobia." Articles by the author of HigherDimensional Categories: An Illustrated Guide Book and Cakes, Custard and
...more>>
 Factasia: Mathematics  Roger Bishop Jones
Math essays organized into three categories: general (threads in the web of mathematics and reuse and abstraction); real numbers (a logical development, some history, and computing with reals); and history (a short history of rigour in mathematics, classical
...more>>
 A Fair Deal For Housemates  Ivars Peterson (MathTrek)
Four friends move into a house and find they must choose among four rooms of different size and quality. Instead of sharing the rent equally, they decide to divide the total so that each person ends up satisfied with his or her combination of room and
...more>>
 The Fair Division Calculator  Francis Su
An interactive Java applet designed to help you determine how to divide among n people: a desirable object (such as a cake); an undesirable object (such as a set of chores); or a set of indivisible objects (rooms, desirable) with payments (rent, undesirable).
...more>>
 Fair Shares (MatheMUSEments!)  Ivars Peterson (Math Muse for Kids)
The birthday party is over, and one chunk of thickly frosted, richly decorated cake is uneaten. Your mother insists that you and your sister slice the cake into two equal pieces, so that she doesn't have to listen to you fight over which is bigger. What
...more>>
 False Proofs, Classic Fallacies  Math Forum, Ask Dr. Math FAQ
What's wrong with proofs that say 1+1 = 1, or 2 = 1?
...more>>
 Famous Paradoxes  Isaac Reed
Zeno's Paradox and Cantor's Infinities.
...more>>
 FillItIn Outline Mathematics  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
A collection of outline solutions to various problems: word and logic problems, problems from arithmetic, number theory and geometry. Solutions are practically complete with a few essential pieces omitted and to be filled in by the student.
...more>>
 Finite Mathematics & Applied Calculus Resource Page  Waner, Costenoble; Hofstra University
Online interactive tutorials  Algebra Review, Finite Mathematics, and Calculus  based on Finite Mathematics Applied to the Real World, Calculus Applied to the Real World, and Finite Mathematics and Calculus Applied to the Real World. Topic Summaries;
...more>>
 Flash Pegs  CleverMedia
Jump a peg over its adjacent neighbors to eliminate them until only one remains in this online version of the classic logic puzzle. Choose from nine starting configurations. Requires the Flash plugin.
...more>>
 Formulas for fairness  Ivars Peterson  Science News Online
Applying the math of cake cutting to conflict resolution: researchers turn to the mathematics of cake cutting and point allocation to develop improved methods for people to use to settle disputes.
...more>>
 Foundations of Mathematics  Alex Sakharov
A collection of links to materials related to Foundations of Mathematics, organized as a book contents page, and intended to be a guide for studying the subject and a comprehensive Web reference. Naive Set Theory; Paradoxes; Formal Systems; Axiomatization;
...more>>
 Freakonometrics  Arthur Charpentier
Blog by a Montreal professor of actuarial science "addicted to R." Posts, which date back to March, 2007, have included "Dynamic dependence ordering for Archimedean copulas and distorted copulas," "Pricing catastrophe options in incomplete markets," "Estimation
...more>>
 Free Daily Sudoku Puzzles
For this canonical puzzle the aim is to fill every square in the 9x9 grid with a number 19. Every row, every column, and every 3x3 box must contain the digits 1 through 9. Free Daily Sudoku has online puzzles and daily puzzles by email or RSS feed. Also
...more>>
 Free Puzzles  Jimmie Dean
A collection of puzzles and brainteasers, divided into geometry, logic, math, weight, moves, and miscellaneous. Each puzzle includes a hint, and solutions are available through email. Online games and puzzles include a chess knight game and Hangman.
...more>>
 From Hypothesis To Conclusion...Reading Maps To Understand Proofs (SMILE)  Maryann Blaszak, South Shore Community Academy
A lesson designed to prepare students for writing twocolumn proofs by teaching them to write directions using a map; fill in missing data; understand the importance of diagrams in writing proofs; and develop a tentative understanding of writing proofs.
...more>>
 Front for the Mathematics ArXiv  Univ. of California, Davis
U.C. Davis front end for the xxx.lanl.gov ePrint archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives including alggeom, functan, dgga, qalg, autofms, cdhg, MAGNUS, Several Complex
...more>>
 FTL
An online magazine with articles about space, science, and science fiction. Features include a series of humorous articles by Ian Stewart, with topics ranging from lattice polyhedra (and conceptual art) to Diophantine equations (and camels).
...more>>
 Fun, Puzzles, Travel  Paul Bourke
Brain twisters, arranged by approximate level, and designed for the most part to require no particularly advanced mathematical skills. Illusions include impossible triangle, MullerLyer, bad box, and Colours.
...more>>
 Fuzzy Machine Learning Framework  Dmitry A. Kazakov
This fuzzy machine learning framework uses graph schemes, a variant of decision trees, to extend intuitionistic sets and represent not only uncertain, but also contradictory data within the same framework. The software provides both a library and a graphical
...more>>
 Fuzzy sets for Ada  Dmitry A. Kazakov
A free (GPL) implementation of fuzzy sets, intuitionistic fuzzy sets, fuzzy
numbers, linguistic variables and sets of linguistic variables.
...more>>
 
