Shtetl-Optimized » Blog Archive » Ten Signs...
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 ...
http://www.scottaaronson.com/blog/?p=304
popularity:
math
mathematics
science
proof
interesting
logic
education
research
philosophy
writing
|
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
|
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
|
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
|
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
|
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 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
|
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
|
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
|
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
|
ScienceWorld
Comprehensive online encyclopedias of astronomy, math, physics, scientific biographies, and scientific books, with many equations and formulas.
similarity:
popularity:
science
reference
physics
chemistry
math
education
encyclopedia
astronomy
mathematics
research
|