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

by Michael Kohlhase
Venue:Number 4180 in LNAI
Citations:153 - 36 self