Accession Number : ADA322951
Title : Automated Hyper-Liking in An Electronic Mathematical Proof-Check Journal,
Corporate Author : WARSAW TECHNICAL UNIV (POLAND) INST OF MATHEMATICS
Personal Author(s) : Trybulec, Andrzej
PDF Url : ADA322951
Report Date : 1996
Pagination or Media Count : 42
Abstract : The main objective of the grant is to establish a hyper-linked electronic proof-check journal. The name of the journal is Journal of Formalized Mathematics (JFM). It is available at http://mizar.uw.bialystok.pl/JFM. JFM consists of articles written originally in Mizar and translated mechanically into English. The original articles written in Mizar are in a machine readable form (and they are mechanically processed at the semantic level). This facilitates automatic insertion of hyper-links according to a uniform procedure. Automatic hyper-linking is fast: inserting more than 200 thousands hyper-links took about one hour, most of the time used for communication with the data base. The presented documentation consists of (1) typical articles submitted to JFM describing the formalization of fragments of the compendium, and (2) the annual report of the form requested by CS Dept. of ONR.
Descriptors : *MATHEMATICAL PROGRAMMING, *HYPERTEXT, DATA BASES, COMPUTER COMMUNICATIONS, ALGEBRAIC TOPOLOGY, SET THEORY, INTERNET, MAPPING(TRANSFORMATIONS), POLAND, BOOLEAN ALGEBRA, MACHINE TRANSLATION, AUTOMATIC PROGRAMMING.
Subject Categories : Operations Research
Distribution Statement : APPROVED FOR PUBLIC RELEASE