Integration of a mathematical derivation editor with HOL

Peter Eriksson Supervisors:Ivan Porres, Victor Bos, Integration of a mathematical derivation editor with HOL . 2004.

BibTeX entry:

@MASTERSTHESIS{615473,
  title = {Integration of a mathematical derivation editor with HOL },
  author = {Eriksson, Peter},
  supervisor(s) = {Porres, Ivan and Bos, Victor},
  school = {Åbo Akademi University},
  year = {2004},
  keywords = {Mathedit, HOL},
}