 Automated Deduction  William McCune
Research on applications of automated deduction to problems in abstract algebra and algebraic geometry, algorithms and strategies for searching for proofs and for counterexamples, highperformance implementation of automated deduction algorithms, and
...more>>
 Automated Geometry Java Applet Generation  Saltire Software
Prototype automatic generation of Java Applets from a constraintbased geometry description. Examples: geometry applets (angles on a chord, similar triangles, angles between parallel lines, two right kites, perpendicular bisectors of a right triangle,
...more>>
 Automated Reasoning Project  Computer Sciences Laboratory, Australian National University, Canberra
A research group that investigates the mathematical properties of nonclassical logics, and studies algorithms for reasoning in various systems, both classical and nonclassical. Includes access to software developed by the team for projects such as FINDER
...more>>
 Automated Scheduling and Planning Group (ASAP)  Dept. of Computer Science, Univ. of Nottingham, U.K.
The main aim of the group is to conduct research into models, heuristics and algorithms for automatically producing high quality solutions to a variety of
real world scheduling and optimisation problems, including timetabling, production and maintenance
...more>>
 Automaths: Online Maths Activities for Kids  Education by Design, UK
A Java applet with three different levels to practice for automatic response skills, suitable for children of all ages. Use the levels to customise: Junior challenges addition and subtraction skills; middle provides problems using addition, subtraction
...more>>
 Automatic Calculus Solutions: StepbyStep Derivatives and Integrals
Derivatives and integrals, done automatically with each step explained. Long multiplication and division of polynomials.
...more>>
 Automatic Fractal Map Generator  Paolo Guagliumi
A freeware program that generates .map files used by Winfract and Fractint, which make use of .map files that contain 256 lines of ASCII characters that describe RGB (red, green, blue) color values. Site is in English and Italian.
...more>>
 Auto Rueda: Multiplication Tables  Jose Manuel del Toro Pérez; del Toro Ediciones
An effective method that fosters selflearning of the multiplication tables.
...more>>
 AUTO WWW Site  Pankaj Kamthan
AUTO is software for continuation and bifurcation problems in ordinary differential equations. Bibliography, documentation, download, history, and links to related software.
...more>>
 Avances de Investigación en Educación Matemática
The official publication of the Spanish Society for Research in Mathematics Education (SEIEM, Sociedad Española de Investigación Matemática) welcomes contributions in either Spanish or Portuguese. Freely download PDFs of past articles,
...more>>
 "Average" Temperature (Math Chat)  Frank Morgan, MAA Online
Answering the challenge: The National Weather Service approximates the daily average temperature by the average of the daily high and low temperatures. Why is this such a good approximation? Mathematically, the approximation is good because Earth's warming
...more>>
 Averaging Diving Scores  NASA Lewis Learning Technologies Project
Kim received the following scores in the state diving championships: 5.2, 5.6, 4.5, 5.0, and 5.2 What was her average (mean) score? A detailed answer is provided. From NASA's 9th Grade Math Proficiency Test.
...more>>
 Averaging (SMILE)  Sharon Thomas, Emmanuel Christian School
A 6th grade lesson designed to teach students to identify a range; recognize the score that occurs most frequently in a distribution; locate the middle point in a distribution; and find the average of a given set of numbers. From the Probability and Statistics
...more>>
 Averting Instant Insanity  Ivars Peterson (MathTrek)
Once called "The Great Tantalizer," the puzzle looks innocuous and sounds quite simple. It consists of a set of four cubes with one of four colors on each of their six faces. Your goal is to arrange the four cubes in a row so that all four colors appear
...more>>
 Aviezri Fraenkel
Aviezri Fraenkel is an Israeli mathematician investigating combinatorial game theory. This page offers preprints and recent reprints in postscript format; a comprehensive bibliography on combinatorial games; and links to information on conferences and
...more>>
 Avoiding Weapons of Math Destruction
"Reflections from a student teacher." Blog posts, which date back to September, 2012, have included "First Week Excitement," "The Flipped Classroom," and "The Challenge of OpenEnded Questions."
...more>>
 The Awari Oracle  John Romein
Play the ancient African "count and capture" strategy board game, related to mancala, and also known as wari, awale, oware, or ayo. Dutch computer scientists from Amsterdam's Vrije Universiteit developed a program that computes the best move and eventual
...more>>
 Awesome Grades in Math and Science (AGMS)  Anita Delmar; AwesomeInfo.com, Inc.
You may purchase the AGMS main volume, a comprehensive guide for success in grades 712 math and science courses; a checklist/diagnostic tool; and a Web resource list (Anita Delmar's personal collection of the "best of the best" in math and science help
...more>>
 Awesome Library  R. Jerry Adams
Browse or search this carefully reviewed collection of math lesson plans, standards, and other classroom resources, organized by topic and grade level. With support from the Evaluation and Development Institute, the Awesome Library screens thirdparty
...more>>
 AwesomeTutors.com
Las Vegasbased oneonone tutoring service, with email, webcam and phone tutoring available for most tutoring subjects. Prepayment required.
...more>>
 Axiom (Encarta Encyclopedia 2000)  Robert M. Baird; Microsoft Encarta Online
Axiom, in logic and mathematics, a basic principle that is assumed to be true without proof. The use of axioms in mathematics stems from the ancient Greeks, most probably during the 5th century BC, and represents the beginnings of pure mathematics as
...more>>
 The Axiom of Choice (AC)  Eric Schechter; Vanderbilt University
An introduction to and some implications of perhaps the last great controversy of mathematics, the Axiom of Choice, now a basic assumption used in many parts of mathematics. With a collection of annotated links to relevant sites: Introductory/elementary;
...more>>
 The Aztec Calendar: Math, Geometry, and Design  Charles William Johnson
A site that explores the relation between the mathematics of ancient reckoning systems, expressed in historically significant numbers (cited in the historical record), and designs within the geometry of ancient artwork. The complexity of design within
...more>>
 The Aztec Calendar  René Voorburg
Historical information and illustrations of the two more or less independent systems comprising the Aztec calendar, one having 365 days and based on the agricultural or solar year, the other with 260 days. A Calculator allows you to enter a date in the
...more>>
 Babylonian and Egyptian Mathematics  MacTutor Math History Archives
Linked essay describing the character and accomplishments of these two early mathematical systems, with references and other related web sites.
...more>>
 Babylonian numerals  MacTutor Math History Archives
Linked essay exploring the development of the Babylonians' number system, with ideas inherited from the Sumerians and the Akkadians. From them came base 60, or the sexagesimal system, but neither the Sumerian nor the Akkadian system was a positional system
...more>>
 Backpack Project  Germantown Academy
Spurred by an orthopedic surgeon's report recommending how much weight a person should carry, teams of fifth and twelfth graders examined student backpack weights in relation to body weights in all three divisions of their school, weighing over 800 students
...more>>
 The Bad Maths Pool  Danny Nicholson
A UK teacher trainer's Flickr photo group "for all those images of crazy special offers and examples of things that just don't add up." Pictures, which date back to August, 2010, primarily consist of retail advertisements gone wrong with bulk discounting,
...more>>
 Bagatrix Mathematical Software  Bagatrix Solutions, Ltd.
Commercial software that features stepbystep solutions to userentered problems, with prompting. Titles include: Solved! Studio (comprises Basic Math, PreAlgebra, and Algebra titles), Algebra Solved!, PreAlgebra Solved!, Basic Math Solved!, Graphing
...more>>
 Baker's Choice  Key Curriculum Press
An Interactive Mathematics Program (IMP) unit for replacing about three weeks of student practice with graphs and equations in a traditional algebra, advanced algebra, or even geometry or precalculus class. Purchase teacher's guide and student materials.
...more>>
 The Bakhshali manuscript  MacTutor Math History Archives
Linked essay on the discovery and history of an early mathematical manuscript. The Bakhshali Manuscript is a mathematical work written on birch bark, found in the summer of 1881 near the village Bakhshali in Mardan tahsil, 50 miles from the city of Peshawar
...more>>
 Balanced Assessment in Mathematics  The Concord Consortium
From 1993 to 2003, the Balanced Assessment in Mathematics Program existed at the Harvard Graduate School of Education. The project group developed a large collection of innovative mathematics assessment tasks for grades K to 12, and trained teachers to
...more>>
 Balance Quest  Whit McMahan
Key in the positive and negative integers that balance the left and right halves of the bracket in this logic puzzle of addition, subtraction, and deduction.
...more>>
 Balducci's Actuarial Home Page  David P.M. Scollnik; Dept. of Mathematics and Statistics, Univ. of Calgary
Links to popular actuarial resources: Balducci's List of Actuarial, Risk, and Insurance Links; Actuaries ( with Home Pages ) on the Web; Actuarial Programs in Academia; Actuarial ( Statistical ) Research Papers. Also information relating to actuarial
...more>>
 Balducci's Actuarial Home Page  D. Scollnik, Dept. of Mathematics & Statistics, Univ. of Calgary
From the Division of Statistics and Actuarial Science. Actuarial announcements; Preprints; Researchers; Faculty; Undergraduate offerings.
...more>>
 Balkan Journal of Geometry and Its Applications (BJGA)  Balan, Udriste, Editors
An international biannual journal covering a wide spectrum of pure and applied
mathematics, ranging from synthetic to computational geometry and
applications in physics, chemistry, biology, engineering, and architecture, and promoting especially papers
...more>>
 Banach Journal of Mathematical Analysis  Mohammad Sal Moslehian, Founder and EditorinChief
The Banach Journal of Mathematical Analysis (BJMA) is an international and peerreviewed electronic journal presenting papers on functional analysis, operator theory and related topics.
...more>>
 Banach Spaces Bulletin Board  Mathematics Dept., Oklahoma State University
Links to preprints of papers in Banach space theory and related fields and archives of messages that have been sent to all subscribers to the associated list. In addition, the Recent section lists the most recent papers that have been added to the archive.
...more>>
 Banxia Software
Software for professional decision making. Frontier Analyst provides Data Envelopment Analysis to measure an organization's efficiency. Decision Explorer lets you create maps to model a situation and develop a strategy.
...more>>
 Bar Chart Applet  Robert Scott Mitchell
Enter values for the ten bars; control their orientation, and the scale of the chart at runtime.
...more>>
 Barcode Encoding  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
Barcodes are used with various encodings all over the world to simplify product identification, especially in retail. The site explains the most popular encodings, like UPC (Universal Product Code), ISBN (Intenational Standard Book Number), and EAN13
...more>>
 Barry G. Adams
Barry Adams is a professor of mathematics and computer science at Laurentian University in Ontario, Canada. His website includes many Java applets, including elementary numerical methods (i.e. Newton's Method), various examples of chaotic attractors,
...more>>
 Barry Garelick, Author at Education News  EducationNews
Articles by Garelick, who teaches middle and high school math in California, have included "The Myth About Traditional Math Education," "Fran, Henderson & Pingry, and Me: A Tale of Problems vs Exercises," "Mathematics Education: Being Outwitted by Stupidity,"
...more>>
 Bartlett Corrections  F. CribariNeto
Introduction to and compilation of resources on Bartlett corrections: scalar transformations "applied to the likelihood ratio (LR) statistic that yields a new, improved test statistic which has a chisquared null distribution to order O(1/n). This represents
...more>>
 Base 10, Base 2, and Base 16  Walter Davis
Examples of different bases. There are several ways to represent a value using symbols. Roman numerals are an example. Position valued representation (PVR) is another example, the one with which we are the most familiar. With PVR, a limited number of
...more>>
 Baseball Heat Maps  Jeff and Darrell Zimmerman
Heat maps, Loess curves, Pitch F/X and Retrosheet downloads: actual vs expected home runs; home run and fly ball distance leaders; total batted ball distance; ground ball and line drive pull percentages; batter swinging or looking strike zone; batter
...more>>
 BaseballSavant.com  Daren Willman
Daily feeds of Major League Baseball (MLB) player matchups and advanced statistics on those players. See, in particular, Willman's Instant Replay Database, which analyzes umpire reviews and manager challenges of fair or foul in outfield, fan interference,
...more>>
 Baseball TIVY
Commercial site for an educational math strategy board game for students in roughly grades 38. Competitive involvement with two or more players individually or on teams; local, regional and national tournaments. "A proven winner for increasing test scores."
...more>>
 Base Considerations  Keith Devlin (Devlin's Angle)
A discussion of base systems, including negative bases, used in computers. "We are so used to computers nowadays that it seems obvious that computer arithmetic should be performed in a binary fashion. After all, this is the most natural form for a computer,
...more>>
 Base Conversion Routine  David Cronin
This is a Javascript base conversion program for bases 2 through 36. The author writes: "Feel free to make use of it. It's limited only by the precision of enviroment runtime."
...more>>
 
