Notations for Active Mathematical Documents. Kohlhase, M., Lange, C., Müller, C., Müller, N., & Rabe, F. Technical Report 2009-1, Jacobs University Bremen, 2009.
Notations for Active Mathematical Documents [pdf]Paper  bibtex   

Downloads: 0