Mechanized Mathematics and Its Applications
Volume 5, Number 2, 2006

Table of Contents

  1. New Auxiliary Software for MML Database Management
    by Robert Milewski
  2. Enhancing MML via Isomichi's Classification of Domains
    by Adam Grabowski and Magdalena Jastrzebska
  3. Automatic Translation of Formalized Mathematics
    by Grzegorz Bancerek
  4. Functional Language Translation System on Web: INE
    by Yoshio Wadaka

(Last updated: December 2006)