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

@inproceedings{pub2979,
    author = {

Autexier, Serge
 and 

Fiedler, A.
 and 

Neumann, T.
 and 

Wagner, M.
},
    editor = {

Kauers, M.
 and 

Kerber, M.
 and 

Miner, R.
 and 

Windsteiger, W.
},
    title = {Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof  Assistance Systems},
    booktitle = {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},
    series = {LNAI},
    year = {2007},
    month = {6},
    volume = {4573},
    pages = {176--190},
    publisher = {Springer}
}