|
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
|
![]() |
No information avaiable
similarity:
popularity:
math
mathematics
reference
science
physics
maths
education
learning
history
tutorials
|
|
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
|
![]() |
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
|
|
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
|
|
No information avaiable
similarity:
popularity:
math
wiki
mathcasts
mathematics
education
resources
screencast
interactive
web2.0
technology
|
|
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
|
|
Welcome to The On-Line Encyclopedia of Integer Sequences™ (OEIS™ ... Recent additions (possibly a large file). Index to fractions. Works citing OEIS. OEIS: ...
similarity:
popularity:
math
reference
sequences
mathematics
science
sequence
encyclopedia
integer
database
search
|
![]() |
The Internet's premier ask-an-expert math help service. ...
similarity:
popularity:
math
mathematics
reference
education
learning
maths
tutorial
school
resources
help
|
![]() |
Educational resources and an organized collection of links.
similarity:
popularity:
math
mathematics
education
reference
resources
archive
maths
links
science
teaching
|
![]() |
The Online Encyclopaedia of Mathematics is the most up-to-date and comprehensive ... Copyright © 2002 Springer-Verlag Berlin Heidelberg New York. ISBN 1-4020-0609-8 ...
similarity:
popularity:
reference
math
mathematics
encyclopedia
science
online
resources
maths
statistics
education
|