 Software (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive collection of links to software, with abstracts and reviews, organized in four different ways: by platform (Macintosh, MSDOS) and then by subject; interactive texts (using a commercial package such as Mathematica, Maple or Mathkit to interact
...more>>
 Stephen's Guide to Logical Fallacies  Stephen Downes
Lists all known logical fallacies, with definitions, examples, and the steps needed to prove that the fallacy is committed. Site also includes links to logic references and resources.
...more>>
 STEPS Online Tutoring  TCYonline.com
TCYonline.com provides oneonone live online math tutoring and homework help for grade K12 students. The service offers test prep for the SAT, ACT, GRE and GMAT and State Level exams 24x7, round the year. TCY also provides math education consulting
...more>>
 Strategy and Conflict: An Introductory Sketch of Game Theory  Roger A. McCain
Game theory is an interdisciplinary approach to studying human behavior that touches on computer science, social sciences, and behavioral sciences. Designed as a supplement to existing texts as a means of making the basic ideas a bit more accessible,
...more>>
 Strawberry Macaw's Puzzle Page
Although simple, this collection of four logic puzzles provides a challenge for students of any age. The interactive puzzles are: The Fox, the Duck, and the Bag of Corn; The Three Gallon and Five Gallon Cans; The TwentyThree Matches Game; and The Game
...more>>
 Structures Directory  Vaughan Pratt
An email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
...more>>
 Subtle Logic, Winning Game  Ivars Peterson (MathTrek)
Seemingly simple games can serve as thoughtprovoking exercises in mathematical logic. They can provide deep insights into subtle issues that confront logicians who are interested in the foundations of mathematics. Socalled Ehrenfeucht games have proved
...more>>
 SuccessMaker mathematics courses  Pearson Education, Inc.
A learning environment combining a management system, assessment, and curriculum resources to provide administrators, teachers, and students with tools to improve academic performance. Also available from http://www.pearsonschool.com/index.cfm?locator=PSZk99.
...more>>
 Sudoku
Flashbased game: enter a 9x9 grid so that every column, every row and each of the nine 3x3 segement contains the numbers 1 to 9. The game provides hints when you are stuck and has different levels.
...more>>
 Sudoku  Pappocom, aka Wayne Gould
Finish filling in the 9x9 grid so that every row, every column, and each of the nine 3x3 boxes contains the digits 1 through 9. Different from a magic square, this puzzle requires no arithmetic, only reasoning and logic to deduce which digit to put where.
...more>>
 Sudoku  PedagoNet
Sudoku online. New puzzles generated regularly; archive of past puzzles.
...more>>
 Sudoku Shuffle  ridiculopathy.com
Play a Flash version of Sudoku online or print out one of these logic puzzles. Choose a level of difficulty and whether to play with number tiles or letter tiles.
...more>>
 A Su Doku solver
Solvers for sudoku puzzles, with documentation, source code, and binaries. Frequently asked questions about this numeric puzzle include "Su Doku" or "Sudoku"? How does the solver work? How do I compose a Su Doku problem? How few cells could appear on
...more>>
 Syllogism 1.0  Ben Sharvy
Software to download. Enter a syllogism of any length. The program will tell you whether it is a valid syllogism, and if not, why not. It will also analyse the links between terms in the syllogism. BASIC code, and a version compiled for the Mac.
...more>>
 The Syllogistic Machine  Johan Mårtensson
A JavaScript machine for checking the properties of Aristotelian syllogisms, with links to Mårtensson's OnLine Logic Book.
...more>>
 Teaching Logic and Reasoning in an Illogical World  DIMACS Symposium
A July 1996 symposium: Participants, schedule, list of papers, and the papers themselves in html, ascii, or postscript. Sample papers: S. Maurer: Teaching reasoning, broadly and narrowly; C. Nelan: Student's attitude toward the relationship between language
...more>>
 Technologies: Past and Future  Cut the Knot!, Alexander Bogomolny, with Don Greenwell
A discussion of the similarities in browsing through books and surfing the Internet, the serendipitous discoveries that can be made, fallacious geometric and other puzzles, and an interesting integer matrix, with recommendations of books to read and sites
...more>>
 Terry McConnell's Home Page  Terry McConnell, Mathematics Department, Syracuse University
Download PDFs of tests given in McConnell's introductory calculus, Math 295. "Stuff" ranges from a remark on average velocity and an expository paper showing the details of how to derive the second order correction to the period of a plane pendulum using
...more>>
 Theorem of the Day  Robin Whitty, London South Bank University
Every day, Whitty posts a PDF of a different theorem, lemma, law, formula, or identity  each "as selfcontained as possible." With pictorial interpretation; proof; glossary briefly explaining some parts of the mathematical language; references to related
...more>>
 Theoretical Computer Science  Elsevier Science
The journal is mathematical and abstract in spirit, but derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and to provide more efficient methodologies. All papers introducing or studying
...more>>
 The Theory Group  University of St. Andrews, U.K.
The Theory Group investigates aspects of theoretical computer science including: specification; automated theorem proving techniques and applications (especially in computer algebra); computational logic, including logic programming and proof theory;
...more>>
 Things Impossible  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
Essays on impossible things, including trisecting an angle, doubling a cube, squaring a circle, moving pegs five places in one direction (via checkerjumps), finding the center of a given circle with the straightedge alone, representing the square root
...more>>
 Think & Derive  Chris Long
Monthly mathematical columns from May 1994 through April 1996 written for Central New Jersey Mensa's Forvm. Problems and puzzles, many with solutions.
...more>>
 Think Maths  Matt Parker
This group of mathematics speakers visits schools to perform maths talks and workshops in the UK. Sessions present math in ways that "grab the attention of students and remind them that maths is something to be enjoyed." Free downloads include domino
...more>>
 This is MegaMathematics! (MegaMath)  Nancy Casey; Los Alamos National Laboratory
The frontier of mathematics is an exciting place, where mathematicians experiment and play with creative and imaginative ideas, many of them accessible to young children; others (infinity is a good example) whose profound mathematical importance is not
...more>>
 Three Skills For Algebra  Alan Selby
This book describes three skills key to the algebraic way of writing and thinking, offering a first image of mathematics beyond arithmetic. It also describes the first elements of logic or rulebased reason, needed in all disciplines for writing or a
...more>>
 Tim's Interactive Puzzle Solution Center  Alex Sakharov
A growing collection of interactive online logic puzzles including Cannibals and Missionaries, Eight Queens, Gunport, and math puzzles of various difficulty levels.
...more>>
 Topics in High School Mathematics  Martin Cohen
Lesson ideas on geometric series, mathematical induction, Pythagorean triples, combinatorics, continuity, modular arithmetic, rotations and revolutions, and more.
...more>>
 To teach definitions in geometry or teach to define?  Michael de Villiers; Mathematics Education, Univ. of DurbanWestville, South Africa
This paper argues from a theoretical standpoint that students should be actively
engaged in the defining of geometric concepts like the quadrilaterals, and
presents some data relating to a teaching experiment aimed at developing
students' ability to
...more>>
 The Tower of Hanoi  Andrew Cumming
Interactive version of the famous logic puzzle, in html and VRML versions, with a separate page about solving it.
...more>>
 Tower of Hanoi on the Web  Miroslav Kolar
The legend: A group of Eastern monks are the keepers of three towers on which sit 64 golden rings. Originally all 64 rings were stacked on one tower with each ring smaller than the one beneath. The monks are to move the rings from this first tower to
...more>>
 Traffic Jam Activity  Suzanne Alejandre
A classroom activity (also called Hop, Skip, Jump) aligned to the NCTM and California Standards, to be explored through large movement experience, manipulatives, and an interactive Java applet. Students then revisit the activity, look for patterns, and
...more>>
 Tribute to Invariance  Cut the Knot!, Alexander Bogomolny
As a competitive activity, the Squares and Circles game is not very challenging in itself. That is to say, the outcome of the game does not depend on how the game proceeds. The challenge is to come up with this realization and establish its veracity.
...more>>
 Trisecting the Angle  Steven Dutch; University of Wisconsin  Green Bay
Why is trisecting an angle with a straightedge and compass impossible? Discussion includes several other proofs of impossibility (the largest prime number, the square root of 2, repeating patterns in the plane) and some alternate methods of trisection
...more>>
 The Truth Tree's Math and Logic Board  Bob Scott, Ron Savori
A collection of math and logic problems, from Pascal's Pizza Parlor and Leaning Ladders to The Old Lady and the Eggs and The Rickety Table Disaster. Register to solve these and other problems and compete with other visitors to The Truth Tree.
...more>>
 UC Berkeley Mathematics Department
Department info; a collection of the Berkeley [Ph.D.] preliminary exams; undergraduate study hints and survival guide; Notherian Ring (women in mathematics at Berkeley  includes WWW sites of interest to women mathematicians or grad students); Center
...more>>
 The Ultimate Puzzle Site  van Gassel, Heijmans, van Veldhoven
A site in English and Dutch by three Dutch students. Contents include: Various Basic Puzzles and Riddles (no mathematics); Harder Puzzles and Riddles (no mathematics); Mathematical and Logicdeductional Puzzles with solutions; BrainTeasers; and Complex
...more>>
 Uncertain Reasoning Group  Mathematical Logic  Dept. of Mathematics, Manchester Univ., U.K.
Homepage for a research group that investigates uncertain knowledge, how to represent it, and how to reason with it intelligently. People, research topics, seminars, Web resources.
...more>>
 Uncle Bob's Puzzles  Robert & Claire Mead, Haverhill, NH, USA
Math and logic problems (no solutions); if you have questions, want a hint, or want to submit a solution you're invited to email the author. Asterisks indicate greater difficulty: Blind Cowboy; A Game of Catch; The Next Three; Grandpa's Birthday; Square
...more>>
 Unsolved Problems in Number Theory, Logic, and Cryptography  Tim Roberts
This site "concentrates only on problems which are easily understandable to the amateur.... explainable on a single screen (perhaps 200 words), using simple terminology." Read brief descriptions of open problems such as the Chromatic Number, the Collatz
...more>>
 Usenet FAQ Archive : Recreation : Puzzles  Netmeg Internet
Problems and puzzles, with solutions, from the rec.puzzles archives, in the categories: analysis, arithmetic, combinatorics, competition, decision, geometry, group, induction, instructions, language, logic, physics, pickover, probability, real life, references,
...more>>
 VEE: The Visual Elements of Euclid  Ralph Abraham
The Euclid Project is an exfoliation of the Elements of Euclid, the most important math text of all time. It will encompass several books, a CDROM, and an educational environment on the World Wide Web. Its components are: The Visual Elements of Euclid
...more>>
 Venn Diagrams  Math Forum, Ask Dr. Math Common Question
A selection of answers to questions about Venn diagrams and using them to model sets, intersections, and unions.
...more>>
 Video Lectures in Mathematics  Jerry Farlow
An online pinboard gathering thousands of visual links to a broad range of math videos. Categories include applications of math; famous mathematicians; math education; math humor; math on TV, movies; STEM math initiatives; and "instructional: K12." Farlow
...more>>
 Visual Structure of Postulates and Axioms in Algebraic Operations
(SMILE)  Sanford Olshan, Roosevelt High School
A lesson designed to reinforce and retain the use of axioms and postulates in various proofs and linear transformations of equations; and to have student build a physical model of the game of "PRUFF" either as a card game or as a board game. From the
...more>>
 Vladimir Voevodsky
Lectures, publications, a library of Coq files, and more by the mathematician developing univalent foundations, which start with a view of mathematics where sets parametrize collections of objects without "internal structure" while more general homotopy
...more>>
 WASL Math Prompts  Port Angeles School District, Washington state
Sample questions for the WASL, Washington State Assessment of Student Learning. Most questions have answers printed above the questions. Sample questions are offered for kindergarten through high school levels, organized by mathematical content, and accompanied
...more>>
 Was Math Invented or Discovered?  Math Forum, Ask Dr. Math Common Question
A selection of answers to questions about whether math was invented or discovered.
...more>>
 WatchKnowLearn  Community Foundation of Northwest Mississippi
Thousands of free online math educational videos, categorized into topics such as mathematics for young learners, number operations, math in the real world, precalculus, math study skills and test prep, and history of math.
...more>>
 Weighing a Counterfeit Coin  Math Forum, Ask Dr. Math Common Question
A selection of answers to questions about using a balance beam to find a counterfeit coin, such as "If there are twelve coins in a bag, one of which is either lighter or heavier than the others, find the fake coin in exactly 3 weighings and determine
...more>>
 
