Computer Supported Mathematics with OMEGA (bibtex)
by Jörg Siekmann, Christoph Benzmüller, Serge Autexier
Computer Supported Mathematics with OMEGA (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), In Journal of Applied Logic, volume 4, number 4, pp. 533-559, 2006. (Preprint:
Bibtex Entry:
  Author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and
                  Serge Autexier},
  Doi =		 {10.1016/j.jal.2005.10.008},
  Journal =	 {Journal of Applied Logic},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Automated Reasoning, Proof Planning, System
                  Integration, Agents, ERIH PLUS},
  Number =	 4,
  Pages =	 {533-559},
  Title =	 {Computer Supported Mathematics with {OMEGA}},
  Addendum =	 {Preprint:
  Volume =	 4,
  Year =	 2006,