It's hard to believe it's all free! This trove of information from thefreedictionary.com offers all sorts of information on math. From algebra and integers to derivatives and polynomials, it's all here. By scrolling over or clicking on a link, the visitor is treated to a sometimes whopping amount of information about the given topic. For those simply interested in math, math lovers, or possibly a...
Mizar is a system used to represent mathematical vernacular so that it can be read and manipulated by humans and verified by computers. The Mizar Project began in 1973 and continues at the University of Bialystok in Poland. The computer formalization of mathematics is a daunting task; currently, the project has created a database with over 2,000 definitions of mathematical concepts and more than...