Arjeh M. Cohen. Interactive Mathematical Documents. In Jacques Calmet, Tetsuo Ida, Dongming Wang, editors, Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Volume 4120 of Lecture Notes in Computer Science, pages 1, Springer, 2006. [doi]
Abstract is missing.