Interactive presentations of mathematics: a position paper

[1]  Leslie Lamport,et al.  How to Write a Proof , 1995 .

[2]  Philip E. B. Jourdain.  The Study of Mathematics , 1908 .

[3]  Jim Grundy,et al.  A Browsable Format for Proof Presentation , 1996 .

[4]  I. Lakatos.  PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.