[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [axiom journal] Mizar Project and Journal of Formalize
From: |
David MENTRE |
Subject: |
[Axiom-developer] [axiom journal] Mizar Project and Journal of Formalized Mathematics |
Date: |
Sat, 17 Jan 2004 20:27:44 +0100 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.2 (gnu/linux) |
Hello,
Regarding the Axiom Journal, a friend told me about the Mizar project
(http://mizar.org/):
The Mizar project started about 1973 with an attempt to reconstruct
mathematical vernacular.
Since 1989, the most important activity in the Mizar project, apart
from continual improvement of the Mizar System, is the development of
a data base for mathematics. International cooperation (the main
partners: Shinshu University in Nagano and University of Alberta in
Edmonton) resulted in creating a data base which includes more than 2
thousands of definitions of mathematical concepts and more than 30
thousands of theorems.
One interesting point about the project is that they have a journal
(http://mizar.org/JFM/) which seems similar to what Tim wanted for his
Axiom Journal, i.e. with machine readable description of paper content
(http://mizar.org/language/pages/mizar-article.html).
It might be of some interest to look at it before crafting the specs of
the Axiom Journal.
Yours,
d.
--
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [axiom journal] Mizar Project and Journal of Formalized Mathematics,
David MENTRE <=