Book:Other Websites

Is there anybody out there?
A selection of links to some other sites which are more or less concerned with Mathematics:

On-line Text Books (School Level)

 * Free High School Science Texts (South Africa)
 * The Maths Factor
 * Math Open Reference

Magazines

 * http://plus.maths.org/
 * http://isquaredmagazine.co.uk/#
 * http://www.maa.org/pubs/mathmag.html
 * http://polymathprogrammer.com/singularity/

Forums and Online Communities

 * http://www.mathhelpforum.com/math-help/
 * http://www.thestudentroom.co.uk/
 * http://physicsforums.com/ (Mathematics section)
 * http://mathoverflow.net/
 * http://math.stackexchange.com
 * Math is Fun
 * Math Is Fun Forum
 * Natural Math
 * Math Future
 * Sangakoo
 * Maths Centre for Professional Teachers

Books

 * Bertrand Russell and Alfred North Whitehead: Principia Mathematica
 * http://www-cs-faculty.stanford.edu/~knuth/taocp.html

Software/Computing

 * http://www.latex-project.org/
 * http://www.w3.org/Math/Software/
 * http://pari.math.u-bordeaux.fr/
 * http://www.gnu.org/software/octave/
 * http://www.sagemath.org/
 * http://www.texmacs.org/
 * http://www.lyx.org/
 * http://www.mersenne.org/
 * http://www.seventeenorbust.com/
 * http://www.geogebra.org/cms/en/info
 * http://demonstrations.wolfram.com/index.html
 * http://www.r-project.org/
 * http://docs.latexlab.org/ (Free online $\LaTeX$ development environment - Requires a Google account)
 * http://www.scribtex.com (Free online $\LaTeX$development environment - Good for rapid previews)
 * 

Comics

 * http://xkcd.com/
 * http://brownsharpie.courtneygibbons.org/
 * http://abstrusegoose.com/
 * http://spikedmath.com/

Formalized Mathematical Proofs

 * Mizar: "an attempt to reconstruct mathematical vernacular in a computer-oriented environment."
 * Isabelle
 * HOL light
 * HOL4
 * Coq
 * HOL Zero
 * ProofPower
 * Metamath: A tiny language that can express theorems in abstract mathematics

Computational Knowledge Engines

 * http://www.wolframalpha.com/

Other random stuff

 * The Advantages of Boundary Logic
 * TheoryMine: Personalized Mathematical Theorems

Video Media

 * Khan Academy
 * Vi Hart - Mathemusician
 * The Mechanical Universe

Uncategorized (Wait...)

 * http://www.cut-the-knot.org/
 * http://nrich.maths.org/public/
 * http://www.abstractmath.org/MM/MMIntro.htm
 * http://radicaleye.com/lifepage/
 * MSC2010
 * http://primes.utm.edu/
 * Math Reference Project (Web-based notes on university-level mathematics.)
 * The On-line Encyclopedia of Integer Sequences
 * Theorem of the Day

... and not just mathematics ...

 * Wikis in Education
 * Peer-to-Peer University
 * ... including School of the Mathematical Future


 * Knowino

Teaching Services

 * http://www.tutorhunt.com/