Information retrieval in MML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2594, Issue , 2003, Pages 119-132

  Bancerek, Grzegorz ^a,b   Rudnicki, Piotr ^c  

^a BIALYSTOK UNIVERSITY OF TECHNOLOGY   (Poland)

^b SHINSHU UNIVERSITY   (Japan)

^c UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FORMALIZED MATHEMATICS; LONG-TERM PROJECTS; MATHEMATICAL KNOWLEDGE; MIZAR MATHEMATICAL LIBRARIES; PROOF CHECKING; WEB-BASED TOOLS;

INFORMATION RETRIEVAL;

EID: 35248826131     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36469-2_10     Document Type: Article

References (12)

1. Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.
2. David Delahaye. Information Retrieval in a Coq Proof Library using Type Isomorphisms. In T. Coquand et al., editors, TYPES, volume 1956 of LNCS, pages 131-147. Springer, 2000.
3. Library Committee of the Association of Mizar Users. Mizar Built-in Notions. http://mizar.org/JFM/Axiomatics/hidden.html.
4. Library Committee of the Association of Mizar Users. Boolean Properties of Sets. http://mizar.org/JFM/EMM.
5. MIZAR Manuals. http://mizar.org/project/bibliography.html.
6. P. Rudnicki, Ch. Schwarzweller and A. Trybulec. Commutative Algebra in the Mizar System. Journal of Symbolic Computation, 32:143-169, 2001.
7. Piotr Rudnicki and Andrzej Trybulec. On equivalents of well-foundedness. Journal of Automated Reasoning, 23(3-4):197-234, 1999.
8. Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
9. Wojciech A. Trybulec. Partially ordered sets. Formalized Mathematics, 1(2):313-319, 1990.
10. Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.
11. Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
12. Mariusz Żynel and Czesław Byliński. Properties of relational structures, posets, lattices and maps. Formalized Mathematics, 6(1):123-130, 1997.