| Nederlands | | Home |

*... a good theory is like a good joke: It is short and the last line is quite unexpected.*---H. L. Friedman

- Eric Weisstein's World of Mathematics
- Planetmath, ``a free, collaborative, online mathematics encyclopedia. The stress is on peer review, rigour, openness, pedagogy, real-time content, interlinked content, and community-drivenness''. A GNU FDL alternative to Eric Weisstein's World, which was founded when Eric Weisstein's World disappeared from the net due to copyright problems.
- Milennium Prize Problems from the Clay Mathematics Institute: 7 problems, 7 million dollars to win ...
- Math Forum @ Drexel University
- The Mathematical Atlas, ``A Gentle Introduction to the Mathematics Subject Classification Scheme''
- The Cornell Historic Math Book Collection with hundreds of scanned books
- Mathematics at Wikipedia
- Origami & math
- The Unreasonable Effectiveness of Mathematics
- Nieuw Archief voor Wiskunde
- The On-Line Encyclopedia of Integer Sequences Contains more than 80000 different sequences
- Mathematical Functions
*containing currently over 87000 formulae* - Internet-based Distributed Computing Projects
- Mathematical Matters
*a collection of links* - On-line texts: dmoz google
- Online Books and Lecture Notes in Mathematics
- Kolekcja matematyczno-fizyczna A collection of on-line mathematical journals (some dating back to 1920!)
- Mathematical Writing
*This booklet records the class on Mathematical Writing led by Don Knuth at Stanford in 1987.* - scirus scientific information search engine
- Mathematical knowledge management is needed Every year, some 300000 new mathematical theorems are published; how do we manage this heap?
- Front end for the mathematics arXiv
- Doing Physics with Quaternions Lots of info about quaternions.
- Abramowitz and Stegun: Handbook of Mathematical Functions On-line (scanned) version of the famous book.
- NUMDAM Digitization of ancient mathematics documents
- BetterExplained.com ``Learn right, not rote'': intuitive proofs of e.g. Pythagoras' theorem.

- Mathematical copyright
*``This is a public page on aspects of copyright in mathematical publication, which I recently undertook to maintain for the Committee on Electronic Information and Communication (CEIC) of the International Mathematical Union. At the moment it contains a twelve-page checklist on what you and your publisher might expect from each other, and how the law can help or hinder.* - What Happened to MathWorld
*about the legal trouble between Eric Weisstein's MathWorld and CRC Press LLC*

- A Century of Controversy over the Foundations of Mathematics by Chaitin
- MetaMath! on-line version of a book by Chaitin
- Logic worldwide
- Rewriting Home Page with a.o. a list of programs
- OpenCyc.org, an open source version of the artificially intelligent program Cyc
- OpenCog, a platform for artificial intelligence programs
- Mizar, a system to formalise mathematics. It contains already more than 2000 definitions and 30000 theorems, which are published too in the Journal of Formalized Mathematics .
- Logic and Foundations > Computational Logic > Logical Frameworks on the Google web directory
- Stanford Encyclopedia of Philosophy
- When is a proof? How can we trust a proof? Think large, complicated, technical proofs like that of Fermat's Last Theorem, the Poincaré Conjecture, or the Twin Primes Conjecture. Can we use/trust computers to help us?
- Hilbert II The goal of this project is the creation of a system that enables a working mathematician to put theorems and proofs (in a formal language) into it.
- Formalized Mathematics John Harrison about the possibility and desirability of a formalization of mathematics
- A=B
(on-line book)
*"A=B" is about identities in general, and hypergeometric identities in particular, with emphasis on computer methods of discovery and proof. The book describes a number of algorithms for doing these tasks* - Foundations of Mathematics
- Computer-supported Modeling and Reasoning, An Interactive Course in Isabelle 2004 on-line course with 1200 slides, 54 exercises

- Numerical Recipes Theory and algorithms in C and Fortran. The complete book can be read on-line.
- Why not use Numerical Recipes? A critique on that book ...

- Annual William Lowell Putnam competition for undergraduates: questions and solutions , Wikipedia, official homepage

- Maxima for symbolical computation, function plots, ... (GPL)
- Visualize your data with gnuplot Introduction to GNUplot
- GNUplot FAQ
- GNUplot tips (not so frequently asked questions)
**Everything**about GNUplot

- GAP---Groups, Algorithms and Programming; a freely available program
- AltaVista search: Rubik
- Analysis of the Cube with GAP
- Rubik's Cube as Java applet
- Rubik's Cube Resource List

- 143-Year-Old Problem Still Has Mathematicians Guessing:
conference in New York where a.o. it appeared that the statistical distribution of the
zeroes of the zeta function has mysterious correspondences with the energy levels of large atoms

See also Prime numbers get hitched and The Return of Zeta - The Mathematics of Fermat's Last Theorem An introduction to the mathematics used in Wiles' famous proof

- Ars mathematica
Math blog.
*This site is dedicated to the mathematical arts: mathematics itself, and its many children. Mathematics, even the most abstruse, is now pervasive throughout physics, computer science, economics, and other fields. We explore these topics, in lieu of doing our jobs or conversing with our loved ones.* - MathForge
Math newssite.
Wiskunde nieuws-site.
*Mathforge attempts to be a central point on the web by which general points of interest concerning the broad field of mathematics may be found. A goal of Mathforge is to bridge the gap from the knowledgeable to the merely-interested.*

- How Google finds Your Needle in the Web's Haystack Eigenvectors of matrices used to search web pages (actually a 25,000,000,000 x 25,000,000,000 matrix!)
- Latent Semantic Indexing Singular Value Decomposition of matrices used to search web pages

- Ponder This: Monthly problems from IBM
- PI the movie
- Turing's Treatise on Enigma
*A document written by the late Dr. Alan Turing while working as a cryptanalyst at Bletchley Park.* - Famous Unsolved Codes and Ciphers
- A complement to \smash, \llap, and lap Overview of LaTeX layout commands
- Proofs in Mathematics Simple proofs, charming proofs, invalid proofs, ...
- Olde English Comedy starring e and pi
- Mr E's Kidcast - Aflevering 8 - Fractals (Dutch) Elementary introduction to fractals (no formulae and lots of movies)
- Chaos (Dutch) More of the same: no formulae and lots of movies about the butterfly effect
- Ten Lessons I Wish I Had Been Taught about lecturing, blackboard technique, publishing, mathematical mistakes, the Feynman method on how to be a genius, acknowledgements, introductions and old age

| Nederlands | | Home |