J.B.: Restoring Natural Language as a Computerised Mathematics Input Method (2007)

by F Kamareddine, R Lamar, M Maarek, Wells
Venue:Mathematical Knowledge Management, 6th Int’l Conf., Proceedings. Lecture Notes in Artificial Intelligence