axiom-developer
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]