arXiv is a free distribution service and an open-access archive for 2,303,915 scholarly articles in the fields of physics, mathematics, computer science, quantitative biology, quantitative finance, statistics, electrical engineering and systems science, and economics. Materials on this site are not peer-reviewed by arXiv.
arXiv is a free distribution service and an open-access archive for 2,303,325 scholarly articles in the fields of physics, mathematics, computer science, quantitative biology, quantitative finance, statistics, electrical engineering and systems science, and economics. Materials on this site are not peer-reviewed by arXiv.
arXiv is a free distribution service and an open-access archive for 2,299,453 scholarly articles in the fields of physics, mathematics, computer science, quantitative biology, quantitative finance, statistics, electrical engineering and systems science, and economics.
open-access archive for 2,273,366 scholarly articles in the fields of physics, mathematics, computer science, quantitative biology, quantitative finance, statistics, electrical engineering and systems science, and economics.
On November 27, 1852, Augusta Ada King, Countess of Lovelace, who is considered to be the world's very first programmer, passed away. Every student of computer science should have heart of the world's first programmer, Ada Countess of Lovelace, assistant to Charles Babbage, inventor of the very first programmable (mechanical) computer, the analytical engine.
On October 23, 1635, German astronomer and mathematician Wilhelm Schickard, who constructued the very first mechanical calculator, passed away. His famous calculator was able to perform additions and subtractions. For more complicated operations, it provided so-called Napier bones, named after the Scottish mathematician John Napier, who came up with the idea of logarithms. Although it is widely believed that the first mechanical calculating device was created by the French mathematician Blaise Pascal in 1642. However, that distinction actually belongs to Wilhelm Schickard.
The Mizar project started around 1973 as an attempt to reconstruct mathematical vernacular in a computer-oriented environment.
Since 1989, the most important activity in the Mizar project, apart from continual improvement of the Mizar System, has been the development of a database for mathematics. International cooperation (the main partners: Shinshu University in Nagano and University of Alberta in Edmonton) resulted in creating a database which includes more than 7000 definitions of mathematical concepts and more than 40000 theorems (see Merak MML Browsing for more statistics).
A. Waraich. ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, page 97-101. New York, NY, USA, ACM, (2004)
G. Stumme. Conceptual Structures: Integration and Interfaces, volume 2393 of LNAI, page 2-19. Heidelberg, Springer, (2002)Invited Talk, summary of stumme03offtonew.
G. Stumme. Conceptual Structures: Integration and Interfaces, volume 2393 of LNAI, page 2-19. Heidelberg, Springer, (2002)Invited Talk, summary of stumme03offtonew.