Olga Caprotti, Martijn Oostdijk. On Communicating Proofs in Interactive Mathematical Documents. In John A. Campbell, Eugenio Roanes-Lozano, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Volume 1930 of Lecture Notes in Computer Science, pages 53-64, Springer, 2000. [doi]
Abstract is missing.