 General Mathematics, NZ (Funk & Wagnalls Multimedia Encyclopedia)  Lycos Zone: Mathematics
Short articles on basic mathematics, including biographical information about mathematicians, from John Napier to Zeno of Elea.
...more>>
 Getting Across the River  Math Forum, Ask Dr. Math Common Question
A selection of answers to questions such as "A man has a goat, a wolf and a cabbage. He must cross a river in a boat that will only carry one item at a time...."
...more>>
 The Grey Labyrinth  Kevin Lin
A collection of mindbenders in math and logic. When a solution to one puzzle is posted, another solutionless puzzle is added. With an archive of past puzzles, links to other puzzlerelated sites, and a bibliography of works that inspired this site.
...more>>
 Grothendieck Circle  Leila Schneps et al.
Alexandre Grothendieck's published articles, unpublished research, letters, and translations: The Cohomology Theory of Abstract Algebraic Varieties, Standard Conjectures on Algebraic Cycles, Hodge's General Conjecture Is False for Trivial Reasons, Groupes
...more>>
 Guessing the Prime Number Theorem and Treacherous Logic (Math Chat)  Frank Morgan, MAA Online
The Prime Number theorem says that the probability P(x) that a large integer x is prime is about 1/log x. At about age 16 Gauss apparently conjectured this estimate after studying tables of primes. Greg Martin suggested to me a heuristic way to approach
...more>>
 Habits of mind: an organizing principle for mathematics curriculum (Connected Geometry)  Cuoco, Goldenberg, Mark; Education Development Center, Inc. (EDC)
A curriculum the goal of which is not to train large numbers of high school students to be university mathematicians, but rather to allow high school students to become comfortable with illposed and fuzzy problems, to see the benefit of systematizing
...more>>
 The handling of geometry definitions in school textbooks  Michael de Villiers; Mathematics Education, Univ. of DurbanWestville, South Africa
Some historical background and a discussion of the value of students constructing their own understanding of mathematical proofs; misconceptions that arise from readymade definitions; and the advantage of a constructivist approach, which allows pupils
...more>>
 The Helsinki Logic Group  University of Helsinki, Finland
The Helsinki Logic Group is a team of logicians that has gathered in the Department of Mathematics of the University of Helsinki during the past ten years. The main topics of research are: Finite Model Theory  generalized quantifiers, games and descriptive
...more>>
 Hidden Variable Studios  Hidden Variable Studios, LLC
Makers of Tic Tactics, Threes, and other mathematical strategy apps for Android, iOS, Kindle Fire, and Nook HD.
...more>>
 High School Problem of the Week  Department of Mathematics, Southwest Missouri State University (SMSU)
Word problems in number theory, logic, algebra, analytic geometry, and other topics. Read the solution to the most recent problem, and archives of previous problems and their answers.
...more>>
 Hilbert II  Michael Meyling
A predicate calculusbased proof checker, which can check proofs drawn from many different Internet sites.
...more>>
 Ho Math and Chess Learning Centre, Vancouver, BC, and affiliates  Frank Ho
Site features downloadable math and mathematical chess materials, information on the centers and the classes they offer locally, and franchising details for the centers.
...more>>
 Homepage of Torsten Sillke  Torsten Sillke
A collection of puzzles statements, with references, on a variety of topics: operations research, such as crossing the bridge; logic, including liars and truth tellers, mastermind, and age problems; lateral thinking, also known as "situation puzzles";
...more>>
 Honeycomb Hotel: A Unit in Logic  Barbara De Roes
A lesson plan for grades 512+, for teaching deductive logic, using puzzles not dependent upon language. "Honeycomb Hotel is a game of logic and deduction.
You must determine which symbols are on which doors of the Honeycomb Hotel, and the exact path
...more>>
 Hooda Math  Michael and Teresa Edlavitch
Interactive games, math movies submitted by students, tutorials, and links for students and teachers.
...more>>
 How to Solve the Rubik's Cube v1.4  Mark Jeays
A complete solution to solving the cube from any position, credited to David Singmaster, who wrote the 1980 book Notes on Rubik's Magic Cube, except for Step 2, discovered independently by Mark Jeays.
...more>>
 How To Write Proofs  Larry W. Cusick
The mechanics of proofs and proof strategies, with examples and exercises: direct proof, proof by contradiction, proof by contrapositive, if, and only if (iff), proof by mathematical induction, unwinding definitions (getting started), constructive versus
...more>>
 Hypothèses / Géometrix  J. Gressier
Logiciel capable de corriger en direct un élève sur n'importe quel problème de construction géométrique. Il peut aussi le corriger sur la plupart des problèmes de démonstration en géométrie
...more>>
 Ideas, Concepts, and Definitions (MegaMath)  Nancy Casey; Los Alamos National Laboratory
A glossary and reference page to help students learn more about mathematics and find out what some of the special words mean. Topics: Doing What Mathematicians Do; Truth and Proof; Mathematical Objects and Their Properties; Modeling and Abstraction; Algorithms;
...more>>
 Imagiware
A commercial site that including several games. A Java triangle puzzle; Web Puzzler lets you unscramble an image; MasterWeb is like the board game MasterMind; "Nowwwhere" is a Webaccessible virtual world; and there is a version of Mancala, too.
...more>>
 Implications Rules  Alan Selby
Implication Rules: two puzzles that show the difference between one and twoway implication rules. Mastering the difference is a simple, first step, in rule and patternbased thought, needed to precisely read rules, definitions and statements in all
...more>>
 Institute for Logic (Institut für Formale Logik)  University of Vienna, Vienna, Austria
Research in the group is concentrated on axiomatic set theory, in particular: Inner models and large cardinals; Constructible models of set theory / core models; Consistency strengths; Coding; Forcing; and Descriptive set theory. Abstract Server; People
...more>>
 Institute for Logic, Language and Computation (ILLC)  University of Amsterdam, The Netherlands
An institute founded to further the scientific study of the structure, modification, and transmission of information. Currently, the groups participating in ILLC are based at the Faculty of Mathematics, Computer Science, Physics, and Astronomy, the Faculty
...more>>
 Institute for Mathematical Logic and Foundations of Mathematics  Department of Mathematics, University of Freiburg
Research (preprints and theses, reports), teaching (lectures in German, course materials), people, news, and information services. In English, German, and French.
...more>>
 Institute for Mathematics and Computer Science (IMACS)
A research and teaching institute based in South Florida. Through its distance
learning division (eIMACS), IMACS offers interactive mathematics courses designed for talented secondary school students. The first in this series is Logic for Mathematics,
...more>>
 The Interactive Mathematics Classroom  Rex Boggs
A digital library of thirdparty technology resources for teaching mathematics, from kindergarten to calculus. Register to comment on interactive whiteboard files, Powerpoints, TINspire documents, Excel spreadsheets, and other digital resources. RSS
...more>>
 Interactive Mathematics Miscellany and Puzzles  Alexander Bogomolny
"The peculiar beauty of Mathematics lies in deduction, in the dependency of one fact upon another. The less expected a dependency is, the simpler the facts on which the deduction is based  the more beautiful is the result." This awardwinning site offers
...more>>
 International Mathematical Olympiad (IMO) / Olympiade internationale de mathématiques (OIM)
The World Championship Mathematics Competition for High School, which takes place each year in a different country. Its membership (by invitation only) has gradually expanded to over seventy countries from all five continents. Latest competition results;
...more>>
 Introducing Mathematics
This website looks at some areas of mathematics that are not familiar to most people, such as Ramsey theory and set theory, but introduces them in an uncomplicated manner.
...more>>
 Introduction to Logic and Recursion Theory  Edward Boyden
Notes from a class taught by Prof. Sacks at M.I.T. in the spring of 1998, organized and reinterpreted. Propositional Calculus; FirstOrder Logic; Towards Completeness and Consistency; Recursion Theory – compare this to Sipser’s Computation, Part II; Clarity
...more>>
 Inventing Science: From Thales to Euclid  Gregory Crane, Tufts University
Classics 189: Greek Science. Euclid's synthesis remains the most successful single book on math every written, but advances were made in many other fields such as geography, astronomy and the natural sciences. Aristotle, in particular, laid the foundations
...more>>
 Inventor's Paradox  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
A page that looks into different ways a specific statement may be related to a more general one. Pairs of statements in which: one is a clear generalization of another, whereas in fact the two are equivalent; one is a clear generalization of another and
...more>>
 Investigations in Mathematics  Eric S. Rowland
Openended problems for high school and college students to "approach creatively and in their own way": Pascal's simplices ("What is the generalization of Pascal's triangle?"), Pythagorean triples, regular polygons ("What is the area of a regular polygon
...more>>
 Invitation to MasterMind  Cut the Knot!, Alexander Bogomolny, with Don Greenwell
Mastermind is a game played by a codemaker and a codebreaker. The codemaker selects a code, a sequence of four colors (digits, pegs or other symbols) chosen from a set of six colors (repetitions allowed). The codebreaker will then try to guess the code.
...more>>
 Isabelle  Paulson, Nipkow
A generic theorem proving environment developed at Cambridge University and TU Munich. Isabelle/HOL is currently the best developed object logic, including an extensive library of (concrete) mathematics, and various packages for advanced definitional
...more>>
 IsarMathLib
IsarMathLib is a library of proofs that have been checked with Isabelle
proof assistant, based on the Isabelle's ZF logic. The emphasis is put on
readibility. The proofs are written using Isar syntax and can be read and
followed by any person familliar
...more>>
 Islands & Divisions of Knowledge (Pattern Based Reason)  Alan Selby
Not seeing the difference between one and twoway implications is a common source of confusion in reading, writing and mathematics. Oneway implication rules can sometimes be put together to get further implication rules. One and twoway implications
...more>>
 Is Mathematical Teaching a Function of Time?  Andrej and Elena Cherkaev, eds.
A page of math humor, including definitions, anecdotes, math education jokes, theorems, puns, limerics, and links.
...more>>
 Is that a fact?  Keith Devlin (Devlin's Angle)
I'll bet that, like me, you have known for years that, as far as the brain is concerned, it's all down hill from the moment we get our driver's license. Every day, another ten thousand cells die. Or is it a hundred thousand? A million? No matter, it's
...more>>
 Ivan José online  Ivan José Varzinczak
Research on logicbased knowledge representation and reasoning in Artificial Intelligence. Research areas: logicbased knowledge representation and reasoning; description logics, ontology engineering and semantic web; nonmonotonic reasoning, belief revision
...more>>
 Jacopo Notarstefano
Interactive visualizations and puzzles: "Turing's sunflower," which connects leaf arrangements and Fibonacci numbers; "HavelHakimi," which presents nodes and their degrees to construct into a graph; "Fourcoloring a Dodecahedron"; and a logic puzzle
...more>>
 James Propp
James Propp studies tilings, games, and other aspects of combinatorics, probability, and dynamical systems. Many of his articles are available for download in PostScript and gzipped PostScript formats. Code for C programs related to tilings and cellular
...more>>
 janko.at  Angela and Otto Janko
Puzzles, games, and Java applets on logic, number, and chess. See also the Jankos' Retrograde Analysis Corner, analyses of legal moves in chess, and translations of Inaba Naoki in the Puzzle Laboratory.
...more>>
 JB Programming  Jim Burke
Logic.xla, a free Excel logic processor addin for symbolic logic and mathematics.
...more>>
 Joel David Hamkins
Blog by a City University of New York (CUNY) professor who researches mathematical and philosophical logic, particularly set theory, with a focus on the mathematics and philosophy of the infinite. Posts, which date back to 2011, have included "The mateinn
...more>>
 John MacFarlane
Papers, books, talks, courses, and other resources by the member of the University of California, Berkeley's Group in Logic and the Methodology of Science and a coorganizer of the Working Group in the History and Philosophy of Logic, Mathematics, and
...more>>
 Joseph Mazur
Books by the professor emeritus of mathematics at Marlboro College: Enlightening Symbols: A Short History of Mathematical Notation and its Hidden Powers; Euclid in the Rainforest: Discovering Universal Truth in Mathematics; The Motion Paradox: The 2,500Year
...more>>
 Journal Homepages  Kluwer Academic Publishers
A search page for finding journals published by Kluwer Academic Publishers. Each includes past, present, and future article listings, aims and scope, and submission and subscription information. Search the complete catalogue by keyword or view journals
...more>>
 Journal of Mathematics and Computer Science  M.T. Grabiec, Chief Editor
Research "on the development of theories and methods for computer and information sciences; the design, implementation, and analysis of algorithms and software tools for mathematical computation and reasoning; and the integration of mathematics and computer
...more>>
 Just a Usual Day at Unusual School (MegaMath)  Nancy Casey; Los Alamos National Laboratory
Students perform a play that takes place in a school where some of the students always lie and the rest always tell the truth. Terry, the protagonist, is trying to find out which students are which, but at the beginning, there is no way of knowing whom
...more>>
 
