References

  1. B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz & W. Windsteiger (2006): Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic 4(4), pp. 470–504, doi:10.1016/j.jal.2005.10.006.
  2. B. Buchberger, C. Dupre, T. Jebelean, F. Kriftner, K. Nakagawa, D. Vasaru & W. Windsteiger (2000): The Theorema Project: A Progress Report. In: M. Kerber & M. Kohlhase: Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning). St. Andrews, Scotland. Copyright: A.K. Peters, Natick, Massachusetts, pp. 98–113.
  3. B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, E. Tomuta & D. Vasaru (1997): A Survey of the Theorema project. In: W. Kuechlin: Proceedings of ISSAC'97 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997). ACM Press, pp. 384–391, doi:10.1145/258726.258853.
  4. Florian Kammüller, Markus Wenzel & Lawrence C. Paulson (1999): Locales: A Sectioning Concept for Isabelle. In: Theorem Proving in Higher Order Logics (TPHOLs'99), LNCS 1690. Springer, pp. 149–165, doi:10.1007/3-540-48256-3_11.
  5. Manfred Kerber, Christoph Lange, Colin Rowat & Wolfgang Windsteiger (2013): Developing an Auction Theory Toolbox. In: Manfred Kerber, Christoph Lange & Colin Rowat: AISB 2013. Available at http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/proceedings.php.
  6. G. Mayrhofer, S. Saminger & W. Windsteiger (2007): CreaComp: Experimental Formal Mathematics for the Classroom. In: Shangzhi Li, Dongming Wang & Jing-Zhong Zhang: Symbolic Computation and Education. World Scientific Publishing Co., Singapore, New Jersey, pp. 94–114, doi:10.1142/9789812776006_0006.
  7. W. Windsteiger, B. Buchberger & M. Rosenkranz (2006): Theorema. In: Freek Wiedijk: The Seventeen Provers of the World, LNAI 3600. Springer Berlin Heidelberg New York, pp. 96–107, doi:10.1007/11542384_14.
  8. S. Wolfram (1996): The Mathematica Book, third edition. Wolfram Media/Cambridge University Press.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org