Authoring Presentation for openmath
2006 ◽
pp. 33-48
◽