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
|
MathWorld: The Web's Most Extensive Mathematics Resource
Comprehensive and interactive encyclopedia of mathematical equations, terms, derivations, and more, for students, educators, math enthusiasts, and researchers.
similarity:
popularity:
math
mathematics
reference
education
science
maths
wolfram
resources
research
statistics
|
PlanetMath
A collaborative encyclopaedia with entries contributed under the GNU Free ... Top starting points: PlanetMath Overview - High School Mathematics - Calculus ...
similarity:
popularity:
math
mathematics
reference
wiki
encyclopedia
science
education
maths
community
learning
|
The Wolfram Functions Site
Encyclopedic collection of information about mathematical functions serving as a resource for the educational, mathematical, and scientific communities.
similarity:
popularity:
math
mathematics
reference
functions
mathematica
science
wolfram
maths
visualization
education
|
nLab
No information avaiable
similarity:
popularity:
math
wiki
mathematics
physics
philosophy
science
category
categorytheory
category-theory
reference
|
Mathematical Atlas: A gateway to Mathematics
Collection of short articles designed to provide an introduction to the areas of modern mathematics and pointers ... with the URL http://www.math-atlas.org/welcome.html ...
similarity:
popularity:
math
mathematics
reference
education
science
maths
tutorial
learning
atlas
resources
|
Wolfram Research: Mathematica, Technical and Scientific Software
Creators of the Mathematica series of software titles.
similarity:
popularity:
software
math
mathematics
science
mathematica
wolfram
research
education
reference
tools
|
Metamath Home Page
wget -nH --mirror "http://us.metamath.org/index.html" If you would like to set up a mirror site for public access, read the instructions in mirror.txt. ...
similarity:
popularity:
math
mathematics
logic
proof
software
reference
theory
proofs
science
education
|
The Integrator--Integrals from Mathematica
Wolfram Mathematica Online Integrator -- free integration answers ... integrals.wolfram.com Use one of Mathematica's 2500+ functions FREE online ...
similarity:
popularity:
math
calculus
integrals
mathematics
tools
reference
calculator
maths
online
integral
|
MathPages
A collection of HTML lectures on various subjects in mathematics and physics. ... History. Physics. Music. Animated Illustrations. Combined List of Articles ...
similarity:
popularity:
math
mathematics
reference
education
science
physics
maths
learning
calculus
statistics
|
S.O.S. Math
Work with materials to help you in college and pre-college coursework.
similarity:
popularity:
math
mathematics
reference
education
algebra
tutorial
calculus
maths
learning
science
|