On the integrity of a repository of formalized mathematics

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

Volumn 2594, Issue , 2003, Pages 162-174

  Rudnicki, Piotr ^a   Trybulec, Andrzej ^b  

^a UNIVERSITY OF ALBERTA   (Canada)

^b UNIVERSITY OF BIALYSTOK   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ELECTRONIC REPOSITORIES; FORMAL MATHEMATICS; FORMALIZED MATHEMATICS; LONG-TERM PROJECTS; MATHEMATICAL KNOWLEDGE; MIZAR MATHEMATICAL LIBRARIES; PROOF CHECKING;

ARTIFICIAL INTELLIGENCE;

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

References (27)

1. Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
2. Grzegorz Bancerek. König's theorem. Formalized Mathematics, 1(3):589-593, 1990.
3. Grzegorz Bancerek. Cartesian product of functions. Formalized Mathematics, 2(4):547-552, 1991.
4. Grzegorz Bancerek. Reduction relations. Formalized Mathematics, 5(4):469-478, 1996.
5. Grzegorz Bancerek. Continuous lattices of maps between To spaces. Formalized Mathematics, 9(1):111-117, 2001.
6. Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.
7. Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
8. Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
9. Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.
10. 2. Formalized Mathematics, 6(3):427-440, 1997.
11. Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.
12. Stanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607-610, 1990.
13. Artur Korniłowicz. Cartesian products of relations and relational structures. Formalized Mathematics, 6(1):145-152, 1997.
14. Jarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers. Formalized Mathematics, 1(3):477-481, 1990.
15. MIZAR Manuals. http://mizar.org/project/bibliography.html.
16. 2. Formalized Mathematics, 7(1):115-121, 1998.
17. Yatsuka Nakamura and Piotr Rudnicki. Vertex sequences induced by chains. Formalized Mathematics, 5(3):297-304, 1996.
18. Adam Naumowicz and Czesław Byliński. Basic Elements of Computer Algebra in MIZAR. Mechanized Mathematics and Its Applications, 2(1):9-16, 2002.
19. Beata Padlewska and Agata Darmochwał. Topological spaces and continuous func-tions. Formalized Mathematics, 1(1):223-230, 1990.
20. P. Rudnicki, Ch. Schwarzweller and A. Trybulec. Commutative Algebra in the Mizar System. Journal of Symbolic Computation, 32:143-169, 2001.
21. Piotr Rudnicki and Andrzej Trybulec. On equivalents of well-foundedness. Journal of Automated Reasoning, 23(3-4): 197-234, 1999.
22. Piotr Rudnicki and Andrzej Trybulec. Mathematical Knowledge Management in MIZAR. 1st Int. Workshop on MKM, Sept. 24-26, 2001, http://wwv.risc.uni-linz.ac.at/institute/conferences/MKM2001.
23. N. Formalized Mathematics, 5(1):93-96, 1996.
24. Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
25. Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.
26. Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-Based Finite Sequences. Formalized Mathematics, 9(4):825-829, 2001.
27. Freek Wiedijk. MIZAR: An Impression. http://www.cs.kun.nl/∼freek/notes.