Generation and presentation of formal mathematical documents

By Martijn Oostdijk. 2001

61 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/ba5d6444d8e043d642affcc0a8afc6d565dcd18f