Proof Development in OMEGA: The Irrationality of Square Root of 2 (bibtex)
by Jörg Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Immanuel Normann, Martin Pollet
Reference:
Proof Development in OMEGA: The Irrationality of Square Root of 2 (Jörg Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Immanuel Normann, Martin Pollet), Chapter in Thirty Five Years of Automating Mathematics (Fairouz Kamareddine, ed.), Kluwer Academic Publishers, Applied Logic series (28), pp. 271-314, 2003.
Bibtex Entry:
@incollection{B1,
  Author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and Armin Fiedler and Andreas Meier and Immanuel Normann and Martin Pollet},
  Booktitle =	 {Thirty Five Years of Automating Mathematics},
  Doi =		 {10.1007/978-94-017-0253-9_11},
  Editor =	 {Fairouz Kamareddine},
  Isbn =	 {978-1-402-01656-1},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof, Automated Reasoning, Proof Planning, System Integration},
  Pages =	 {271-314},
  Publisher =	 {Kluwer Academic Publishers},
  Series =	 {Applied Logic series (28)},
  Title =	 {Proof Development in {OMEGA}: The Irrationality of Square Root of 2},
  Url =		 {http://christoph-benzmueller.de/papers/B1.pdf},
  Year =	 2003,
}
Powered by bibtexbrowser