Geert's WWW Corner
... a good theory is like a good joke: It is short and the last line is quite unexpected.---H. L. Friedman
I wrote a Ph.D about something formal logic-related.
- 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''.
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
- 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.
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.
Digitization of ancient mathematics documents
``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
And last but not least a quote from
``Beware of bugs in the above code; I have only proved it correct, not tried it.''
- A Century of Controversy over the Foundations of Mathematics
on-line version of a book by Chaitin
- Rewriting Home Page
with a.o. a list of programs
an open source version of the artificially intelligent program Cyc
a platform for artificial intelligence programs
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" 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
- Ars mathematica
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 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.
- 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)
(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