Abstract
Statement
Theorem[”gsqrt[2] irrational”, ¬ rat[\(\sqrt{2}\)]]
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Buchberger, B.: Symbolic Computation: Computer Algebra and Logic. In: Schulz, K. (ed.) FroCoS: Frontiers of Combined Systems (1996)
Buchberger, B.: Algorithm-supported mathematical theory exploration: A personal view and strategy. In: Buchberger, B., Campbell, J. (eds.) AISC 2004. LNCS (LNAI), vol. 3249, pp. 236–250. Springer, Heidelberg (2004) , ISSN 0302- 9743, ISBN 3-540-23212-5
Buchberger, B., Dupre, C., Jebelean, T., Kriftner, F., Nakagawa, K., Vasaru, D., Windsteiger, W.: The Theorema Project: A Progress Report. In: Kerber, M., Kohlhase, M. (eds.) Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning), pp. 98–113. St. Andrews, Scotland (2000); Copyright: A.K. Peters, Natick (August 6-7, 2000)
Buchberger, B., Jebelean, T., Kriftner, F., Marin, M., Tomuta, E., Vasaru, D.: A Survey of the Theorema project. In: Kuechlin, W. (ed.) Proceedings of ISSAC 1997 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii), July 21-23, pp. 384–391. ACM Press, New York (1997)
Buchberger, B., Lichtenberger, F.: Mathematik für Informatiker I., 2nd edn. Springer, Heidelberg (1981)
Kutsia, T., Buchberger, B.: Predicate logic with sequence variables and sequence function symbols. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 205–219. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Windsteiger, W., Buchberger, B., Rozenkranz, M. (2006). Theorema. In: Wiedijk, F. (eds) The Seventeen Provers of the World. Lecture Notes in Computer Science(), vol 3600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11542384_14
Download citation
DOI: https://doi.org/10.1007/11542384_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30704-4
Online ISBN: 978-3-540-32888-9
eBook Packages: Computer ScienceComputer Science (R0)