Robert Lamar

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Robert Lamar, Fairouz Kamareddine, J. B. Wells
MathLang Translation to Isabelle Syntax. Calculemus/MKM (2009)
Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells
Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM (2007)