Mathematik Online ist ein vom Land Baden-Württemberg gefördertes Projekt an den Unis Stuttgart und Ulm. Angeboten werden ein mathematische Lexikon, Aufgaben und Tests sowie Kurse zu mathematischen Vorlesungen.

Ein Poster, dass sich mit Dimensionen in der Mathematik beschäftigt.

Principia Mathematica II ist ein Projekt, dem es darum geht, eine Art riesiges Mathematikbuch zu schaffen, in dem die ganzen Beweise in einer speziellen Formalen Sprachen formuliert sein sollen.

pmii will be a huge free mathematical online textbook collection. In the first phase we start collecting basic articles about axiomatic set theory, number theory and algebra. These articles will be presented under http://www.qedeq.org. The result of this phase should be a free collection of mathematical articles that cover the foundation of mathematics. In the next step these articles will be edited, cross linked, reorganized and transferred into a formal language. After that the articles will be also online published in PDF and HTML format.

Die eingegebenen Sätze und Axiome in dieser Sprache sollen dann die Basis für ein System zum automatischen Beweisen sein.

In the famous "Principia Mathematica" A.N. Whitehead and B. Russell tried to present mathematics in a fully formalized form. Goal of Principia Mathematica II (the title is a little bit arrogant.. ;-) is the creation of a system that enables a working mathematician to put theorems and proofs (in a formal language) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administrated and enables references to any location in the internet, a world wide mathematical knowledge base could be build. Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. To make it more than a huge number of correct formulas, it should also contain information in "common mathematical language". Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by pmii. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.

An der FH Dortmund sollen Studienanfänger bald online Mathe üben. Rektor Eberhard Menzel will einfach nicht mehr hinnehmen, dass seine Erstsemester keine Ahnung von Bruchrechnen haben. [Weiter bei Sueddeutsche.de]

ist MathePrisma. Unter anderem gibt es Module zu Bewegungsfunktionen, Cäsar-Chiffren, Diskrete Verteilung, Paradoxien, etc.