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