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
|
Math247 wiki
Math247. Impress your boss, or even earn a promotion! Use PBworks to help your company--and your career.Click here for ideas and materials. ...
similarity:
popularity:
math
wiki
mathcast
mathematics
tutorials
screencast
voicethread
maths
tutorial
web2.0
|
EquationSheet.com - Create a personal Equation Sheet from a large database of science and math equations including constants, symbols, and SI units
Create a personal Equation Sheet from a large database of science and math ... Online Education. terms of service | contact us © 2009 EquationSheet.com ...
similarity:
popularity:
math
reference
equations
mathematics
science
physics
tools
education
maths
cheatsheet
|
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
|
MathPages
No information avaiable
similarity:
popularity:
math
mathematics
reference
science
physics
maths
education
learning
history
tutorials
|
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 ...
similarity:
popularity:
mathematics
math
logic
education
reference
proofs
science
proof
theorem
maths
|
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
|
Mathematical Equations - EqWorld
The EqWorld website presents extensive information on ordinary differential, partial differential, integral, functional, and other mathematical equations.
similarity:
popularity:
math
reference
mathematics
equations
science
education
equation
physics
maths
tutorial
|
Math247 / FrontPage
No information avaiable
similarity:
popularity:
math
wiki
mathcasts
mathematics
education
resources
screencast
interactive
web2.0
technology
|
The Wolfram Demonstrations Project
An expanding collection of freely available, interactive Demonstrations in math, science, and many other areas--at all levels from elementary education to front-line ...
similarity:
popularity:
math
visualization
science
education
mathematics
graphics
physics
software
mathematica
wolfram
|
Clay Mathematics Institute
Private nonprofit foundation dedicated to increasing and disseminating ... to Jim Carlson, managing editor, through Vida Salahi (salahi at claymath dot org) ...
similarity:
popularity:
math
mathematics
research
institute
education
science
reference
clay
organization
maths
|