OMDoc an open markup format for mathematical documents (version 1.2 (2006)

by Michael Kohlhase
Venue:Number 4180 in LNAI
Citations:114 - 18 self