Proof Explorer - Home Page - Metamath
The aleph zero above is the symbol for the first infinite cardinal ... Appendix 5: How to Find Out What Axioms a Proof Depends On. Appendix 6: Notation for ...
http://us.metamath.org/mpegif/mmset.html
popularity:
mathematics
math
logic
education
reference
proofs
science
proof
theorem
maths
|
Art of Problem Solving
You've come to the right place! Read Books specifically designed for high-performing math ... Take Online Classes bringing together thousands of top students to work with ...
similarity:
popularity:
math
mathematics
problemsolving
education
reference
problem
solving
learning
problems
resources
|
Mathway: Step-by-Step Math Problem Solver
Free math calculator answers your basic math, algebra, trigonometry, and calculus homework problems.
similarity:
popularity:
math
tools
mathematics
education
solver
web2.0
tutorial
tutorials
tool
reference
|
DLMF: NIST Digital Library of Mathematical Functions
This mockup gives an idea of the current ideas about the design and organization of the new Digital Library; these ... publisher for the DLMF handbook version. ...
similarity:
popularity:
math
reference
mathematics
science
functions
library
research
database
algorithms
software
|
Pauls Online Math Notes
... notes and/or tutorials for classes that I teach at Lamar University. ... Calculus I (Math 2413) - Topics included in this set of notes/tutorial are : ...
similarity:
popularity:
math
reference
mathematics
tutorial
calculus
algebra
education
notes
tutorials
learning
|
Isabelle
... in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and ...
similarity:
popularity:
logic
proof
software
mathematics
theorem
programming
science
math
prover
tools
|
Welcome to A Maths Dictionary for Kids 2009 by Jenny Eather
Animated, interactive math dictionary with definitions of over 600 common math ... FLASH PLAYER 6 or later required - download here ...
similarity:
popularity:
math
dictionary
maths
interactive
education
reference
resources
mathematics
kids
vocabulary
|
Math Central - Welcome!
For K-12 mathematics education, providing a teacher's mailing list, a question and answer corner, and a resource sharing area.
similarity:
popularity:
math
resources
education
mathematics
teaching
reference
lesson_plans
maths
games
lessons
|
Mathematical Sciences Research Institute - Home Page
The Mathematical Sciences Research Institute (MSRI) exists to further mathematical research through broadly based programs in the mathematical sciences and closely ...
similarity:
popularity:
math
mathematics
research
science
lectures
institute
msri
reference
education
video
|
Mathematics Help Central Home
Bachelor of Science, Southwestern Oklahoma State University. Master of Education, ... http://www.mathematicshelpcentral.com/index.html. http://www.salary.com/salary ...
similarity:
popularity:
math
mathematics
education
calculus
teaching
reference
help
graphpaper
algebra
maths
|
Practical Algebra Lessons
Practical algebra lessons that emphasize the practicalities of understanding the questions and intelligently and simply arriving at the answers.
similarity:
popularity:
math
algebra
mathematics
education
tutorial
reference
lessons
maths
resources
tutorials
|