Methods to Access and Retrieve Mathematical Content in ActiveMath. In (2006)

by LM06 P Libbrecht, E Melis
Venue:International Congress on Mathematical Software,