A partial translation path from MathLang to Isabelle

This dissertation describes certain developments in computer techniques formanagingmathematical knowledge. Computers currently assistmathematicians in presenting and archiving mathematics, as well as performing calculation and verification tasks. MathLang is a framework for computerising mathematica...

Full description

Bibliographic Details
Main Author: Lamar, Robert
Published: Heriot-Watt University 2011
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.575221