Supporting user-defined notations when integrating scientific text-editors with proof assistance systems. (English) Zbl 1202.68372
Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 176-190 (2007).
MSC:
68T15
68U15