MOWGLI - An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents
暂无分享,去创建一个
[1] Gordon D. Plotkin,et al. Logical frameworks , 1991 .
[2] Hugo Herbelin,et al. The Coq proof assistant : reference manual, version 6.1 , 1997 .
[3] Luca Padovani,et al. XML, Stylesheets and the Re-mathematization of Formal Content , 2001, Extreme Markup Languages®.
[4] Luca Padovani,et al. HELM and the Semantic Math-Web , 2001, TPHOLs.
[5] Michael Kohlhase,et al. OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.
[6] Michael Kohlhase. OMDoc: an infrastructure for OpenMath content dictionary information , 2000, SIGS.