Methods to Access and Retrieve Mathematical Content in ActiveMath

Paul Libbrecht, Erica Melis. Methods to Access and Retrieve Mathematical Content in ActiveMath. In Andrés Iglesias, Nobuki Takayama, editors, Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings. Volume 4151 of Lecture Notes in Computer Science, pages 331-342, Springer, 2006. [doi]

Abstract

Abstract is missing.