Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems

Serge Autexier, A. Fiedler, T. Neumann, M. Wagner

In: M. Kauers , M. Kerber , R. Miner , W. Windsteiger (editor). Towards Mechanized Mathematical Assistants. International Conference on Mathematical Knowledge Management (MKM) 14th Symposium (Calcemus-2007) and 6th International Conference (MKM-2007) June 27-30 Hagenberg Austria Pages 176-190 LNAI 4573 Springer 6/2007.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz