 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>>
 The Encyclopedia of Mathematics  Ulf Rehmann, EditorinChief
With articles originally from Kluwer Academic Publishers' online Encyclopaedia of Mathematics (EoM), this uptodate, graduatelevel, openaccess math reference wiki boasts more than 8,000 entries on over 50,000 notions in the subject. Contribute to topics
...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>>
 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>>
 The Game of Go  JeanClaude Chetrit
A page for Go players interested in mathematics or abstract reasoning. How many static positions exist and how many are legal? This is purely an exercise in counting (combinatorics). See also Chetrit's conjectures about playing Go on a 2 by 2 board and
...more>>
 Games and Puzzles  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
Almost 40 games or puzzles, with extensive discussions and solutions. Examples include the Monty Hall Dilemma, Lewis Carroll's problem; the game of Nim, the 3 glass puzzle, Northcott's game, the Tower of Hanoi, and many more. Most require a browser capable
...more>>
 Games Mathematicians Play  Gregory McColm; Dept. of Mathematics, Univ. of South Florida
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. Contents include Bisimulation; Foundations; Game Theoretic Semantics; and Guarded Quantifiers. With an outline of the problem of what it means
...more>>
 Gateways to Advanced Mathematical Thinking (GAMT)  Michelle Manes; Education Development Center, Inc. (EDC)
The goal of this project is to research the ways in which high school and college mathematics students come to acquire flexible understandings of essential concepts needed for analytic and algebraic thinking. Integral to this research effort is the development
...more>>
 Gateway to Logic  Christian Gottschall; Dept. of Philosophy, Vienna
A collection of Webbased logic programs offering a number of logical functions. Client side processing (requires Java): sparse trees, alpha graphs (Peirce), Begriffsschrift notation (Frege), Polish notation, truth tables, normal forms, miscellaneous
...more>>
 Gödel and the Nature of Mathematical Truth  Edge interview with Rebecca Goldstein
Interview with Rebecca Goldstein, the philosopher and novelist, on her most recent book, Incompleteness: The Proof and Paradox of Kurt Gödel.
...more>>
 Gödel's Theorem and Information  Gregory J. Chaitin
Gödel's theorem may be demonstrated using arguments having an informationtheoretic flavor arguing that if a theorem contains more information than a given set of axioms, then it is impossible for the theorem to be derived from the axioms. In contrast
...more>>
 Göedel's Theorems  Math Academy Online/Platonic Realms
An article covering the completeness theorem, the incompleteness theorems, and Göedel's settheoretic independence result.
...more>>
 
