On Communicating Proofs in Interactive Mathematical Documents

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-44990-6_4 ◽

2001 ◽

pp. 53-64

Author(s):

Olga Caprotti ◽

Martijn Oostdijk

Download Full-text