Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Formalized Mathematics
[go: Go Back, main page]

Formalized Mathematics

Formalized Mathematics (ISSN 1426-2630) contains papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML), a basis of a Knowledge Management System for Mathematics. Its electronic counterpart is Journal of Formalized Mathematics.

Previous Issues

  • Volume   1, 1990:     [No 1] [No 2] [No 3] [No 4] [No 5]
  • Volume   2, 1991:     [No 1] [No 2] [No 3] [No 4] [No 5]
  • Volume   3, 1992:     [No 1] [No 2]
  • Volume   4, 1993:     [No 1]
  • Volume   5, 1996:     [No 1] [No 2] [No 3] [No 4]
  • Volume   6, 1997:     [No 1] [No 2] [No 3] [No 4]
  • Volume   7, 1998:     [No 1] [No 2]
  • Volume   8, 1999:     [No 1]
  • Volume   9, 2001:     [No 1] [No 2] [No 3] [No 4]
  • Volume 10, 2002:     [No 1]-[No 2]-[No 3]
  • Volume 11, 2003:     [No 1]-[No 2] [No 3]-[No 4]
  • Volume 12, 2004:     [No 1]-[No 2] - two forthcoming issues
                        FM Cover Scan
Separate articles will be available for downloading soon.
[Mizar home page]
April 14, 2004 -- webmaster