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
 * http://www.mathisfunforum.com
 * Natural Math
 * Math Future

Books

 * http://www-cs-faculty.stanford.edu/~knuth/taocp.html

Wikis and Encyclopedias

 * Scholarpedia
 * ProvenMath
 * Subject Wikis
 * http://www.tricki.org/
 * http://en.wikipedia.org/wiki/Wikipedia:WikiProject_Mathematics


 * http://mathworld.wolfram.com/
 * http://planetmath.org/
 * http://www.mathwords.com/
 * nLab


 * http://www.cliffsnotes.com/WileyCDA/Section/id-305259.html


 * MacTutor History of Mathematics archive
 * http://genealogy.math.ndsu.nodak.edu/index.php


 * TORI


 * Springer Online Reference Works: Encyclopaedia of Mathematics

Blogs

 * http://blog.tanyakhovanova.com/
 * http://terrytao.wordpress.com/
 * http://wildaboutmath.com/
 * http://www.mathblogging.org/ (Aggregates from various math blogs)
 * http://randmathfun.blogspot.com
 * Math Accent

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/

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

Computational Knowledge Engines

 * http://www.wolframalpha.com/

Other random stuff

 * The Advantages of Boundary Logic

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.)

... and not just mathematics ...

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

Teaching Services

 * http://www.tutorhunt.com/