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
|
Algebra -- from Wolfram MathWorld
No information avaiable
similarity:
popularity:
math
algebra
mathematics
maths
reference
mathworld
resource
study
education
matematicas
|
Math Blog - Mathematics is wonderful!
Within it Palais argues that π is the wrong choice of circle constant. ... Posted by Antonio Cangiano on Apr 12th, 2010. In this interview we chat with with Marcus ...
similarity:
popularity:
math
blog
mathematics
education
blogs
maths
science
interesting
learning
reference
|
Logic Alphabet Home Page
But they are also fundamental in symbolic logic and, more specifically, in what ... The X-Stem Logic Alphabet (XLA) was devised and is actively being developed by ...
similarity:
popularity:
logic
math
visualization
mathematics
science
design
alphabet
reference
notation
typography
|
The Prime Pages (prime number research, records and resources)
Resources for prime numbers including history, primality proving theorems, list of record primes, software, and more.
similarity:
popularity:
math
mathematics
prime
primes
numbers
reference
science
maths
education
number
|
DC Proof Online
No information avaiable
similarity:
popularity:
logic
mathematics
math
proof
software
maths
teaching
learning
proofs
|
TheMathPage: Arithmetic. Algebra. Trigonometry. Precalculus.
A complete course in arithmetic. A complete course is algebra. ... A complete course. TheMathPage depends on donations. Please help keep us online. ...
similarity:
popularity:
math
education
mathematics
algebra
tutorial
reference
trigonometry
maths
calculus
learning
|
ScienceWorld
Comprehensive online encyclopedias of astronomy, math, physics, scientific biographies, and scientific books, with many equations and formulas.
similarity:
popularity:
science
reference
physics
chemistry
math
education
encyclopedia
astronomy
mathematics
research
|
vdash: a wiki of formalized mathematics
vdash is a wiki of formalized mathematical proofs, checked by computer but editable by anyone. ... is vdash? What is Formal Math? Why Use a Wiki? vdash Roadmap ...
similarity:
popularity:
math
wiki
mathematics
logic
science
reference
ai
verification
singularity
web2.0
|
Mathwords
Mathwords home page ... www.mathwords.com. about mathwords. website feedback. Mathwords: Terms and Formulas ... dictionary with enough math words, math terms, ...
similarity:
popularity:
math
dictionary
reference
mathematics
vocabulary
education
tools
resources
maths
algebra
|
This Is Mega-Mathematics!
Collection of classroom lessons in mathematics and computer science from Los Alamos National Laboratory.
similarity:
popularity:
math
mathematics
education
games
science
interactive
algorithms
maths
puzzles
homeschool
|