Tuesday, August 31, 2004

Domain Theory (Heckmann)
Posted by at
Index of /acc Adamek-Herrlich-Strecker
Posted by at

Friday, August 27, 2004

IUBMGS :: Index
Posted by at

Saturday, August 07, 2004

The Flyspeck Project Fact Sheet
Posted by at
The QED Project - Home Page
Posted by at
Higher Operads, Higher Categories
Posted by at

Sunday, July 18, 2004

Algebraic Set Theory
Posted by at

Tuesday, July 13, 2004

Publications, Lecture Notes etc. - Thomas Streicher: "Fibred Categories"
Posted by at

Monday, July 12, 2004

Long Division With Remainders: "divided into"
Posted by at

Saturday, July 03, 2004

IMA 2004 Summer Program: n-Categories: Foundations and Applications, June 7-18, 2004
Posted by at

Sunday, June 20, 2004

LaTeX for Logicians
Posted by at

Tuesday, June 15, 2004

Supplementary ProofPower Examples
Posted by at

Friday, June 04, 2004

Andrew Nestler's Guide to Mathematics and Mathematicians on The Simpsons
Posted by at

Tuesday, May 25, 2004

ABCNEWS.com : Atiyah, Singer Accept Norway's Abel Prize: "Atiyah, 75, of the University of Edinburgh in Scotland, and Singer, 79, of the Massachusetts Institute of Technology, developed what is now called the Atiyah-Singer theorem about 40 years ago."
Posted by at

Monday, May 24, 2004

TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION (23-Jun-1997)
Posted by at
Prime Arithmetic Progression -- from MathWorld ...
Posted by at

Friday, May 07, 2004

Incompleteness Theorems. Related Results. By K.Podnieks
Posted by at

Wednesday, May 05, 2004

Abstract Stone Duality Paul Taylor
Posted by at

Friday, April 30, 2004

G�del's incompleteness theorem - Wikipedia, the free encyclopedia
Posted by at

Saturday, April 24, 2004

Fractalising with complex maps
Posted by at
Subscribe to: Posts (Atom)