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 ...
http://www.vdash.org/
popularity:
math
wiki
mathematics
logic
science
reference
ai
verification
singularity
web2.0
|
NumberSpiral.com - Home
This site is devoted to the number spiral, a type of graph that reveals the distribution of primes and other properties of integers.
similarity:
popularity:
math
mathematics
numbers
visualization
science
primes
cool
interesting
fun
spiral
|
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
|
curiousmath :: math is an attitude
Welcome to CuriousMath.com. Want to learn how to quickly square a number that ends in 5? ... I also invite you to Register with us and become a CuriousMath.com member. ...
similarity:
popularity:
math
mathematics
fun
reference
education
maths
learning
tricks
mind
tips
|
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
|
American Mathematical Society
Founded in 1888 to further mathematical research and scholarship.
similarity:
popularity:
math
mathematics
science
research
education
organization
society
ams
academic
maths
|
The Mathematics Genealogy Project - Welcome!
Searchable database of mathematics doctorates by advisor, school, year, thesis title, and thesis topic.
similarity:
popularity:
math
mathematics
genealogy
history
reference
people
research
science
database
maths
|
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
|
Math2.org
Providing tables of math theorems, formulas, proofs, identities and graphs on arithmetic, algebra, geometry, trigonometry, statistics, calculus. (in English or ...
similarity:
popularity:
math
reference
mathematics
education
tutorial
resources
learning
tables
algebra
maths
|
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
|
Front for the arXiv
No information avaiable
similarity:
popularity:
math
mathematics
research
arxiv
reference
search
science
maths
physics
archive
|