Trybulec A. and Rudnicki P. Using Mizar in Computer Aided Instruction of Mathematics, 1993. Norwegian{French Conference of CAI in Mathematics. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Language for describing the Mathematical Knowledge - Schena (Correct)
.... of formal reasoning, to address the question of correctness (logical frameworks and proof assistants [HP91, HP93] In the last 20 years, several systems for implementing and checking formal reasoning (proof assistants like AUTOMATH [Bru68, Bru80] no longer used, COQ [CH85, CH87] Mizar [Rud92, TR93], PVS [ORS92] have been 1 developed with quite notable results. This fact has testified the importance of the functionalities and the applications offered by Information Technologies, for developing and maintaining the mathematical knowledge [Ano94] Unfortunately, all mathematics which has ....
A. Trybulec, P. Rudnicki. Using Mizar in Computer Aided Instruction of Mathematics. Norwegian--French Conference of CAI in Mathematics, Oslo, 1993. 13
Towards a Semantic Web for Formal Mathematics - Schena (2002) (Correct)
No context found.
Trybulec A. and Rudnicki P. Using Mizar in Computer Aided Instruction of Mathematics, 1993. Norwegian{French Conference of CAI in Mathematics.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC