## July 2004

## June 2004

## May 2004

## April 2004

#### EQP: Equational Theorem Prover

by robertoAn automated theorem proving program for first-order equational logic.

## March 2004

#### TEXTBOOKS, LECTURE NOTES AND TUTORIALS IN MATHEMATICS

by roberto & 1 otherA list of links to useful mathematical textbooks available for free on the Internet.

## February 2004

#### NCL Oceangraphic Applications: Meridional Overturning

by robertoCalculating the meridional overturning.