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
|
Shtetl-Optimized » Blog Archive » Ten Signs a Claimed Mathematical Breakthrough is Wrong
http://scottaaronson.com/blog/?p=304 ...A few will chime in: "but if everyone just wrote out their proofs in computer-checkable form, there'd ...
similarity:
popularity:
math
mathematics
science
proof
interesting
logic
education
research
philosophy
writing
|
MathDL: The MAA Mathematical Sciences Digital Library
The U.S. team had one of its best showings in recent years at the International ... Yet the outstanding results—third place for the team (out of 96 teams) and ...
similarity:
popularity:
math
education
resources
reference
mathematics
science
teaching
flash
library
programming
|
WikiMatrix - Compare them all
Brought to you from Berlin, Germany by CosmoCode ... Compare the Wikis of your choice in a comfortable side-by-side table. Just select them on the left and ...
similarity:
popularity:
wiki
comparison
software
tools
web2.0
collaboration
wikis
web
opensource
reference
|
Interactive Mathematics Miscellany and Puzzles, Index
Interactive mathematics miscellany and puzzles.
similarity:
popularity:
math
puzzles
mathematics
games
education
interactive
fun
maths
puzzle
reference
|
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
|
Purplemath
Offers homework guidelines, links, modules, and a math study skills self-survey.
similarity:
popularity:
math
algebra
education
mathematics
tutorial
resources
reference
tutorials
school
lessons
|
Wolfram Library Archive--Resources and References for Mathematica and Other Wolfram Products
Wolfram Library Archive has thousands of downloadable resources for Mathematica and other Wolfram products, collected over the full history of Wolfram Research
similarity:
popularity:
mathematica
reference
math
science
mathematics
wolfram
library
physics
resources
software
|
QuickMath Automatic Math Solutions
Free automated service which provides solutions to all sorts of common mathematical problems within a couple of seconds.
similarity:
popularity:
math
mathematics
calculator
tools
reference
software
web
algebra
education
online
|
SIAM: Society for Industrial and Applied Mathematics
Working to ensure the strongest interactions between mathematics and other scientific and ... site map | privacy policy | webmaster@siam.org | suggestions ...
similarity:
popularity:
mathematics
math
science
research
society
siam
applied
organizations
statistics
maths
|
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
|