Search: Proof Development In OMEGA: The Irrationality Of Square Root
[1] 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] [pdf] [doi]
Powered by bibtexbrowser