1. Bruno Buchberger (1982): Computer-unterstützter Algorithmenentwurf (Computer-Aided Algorithm Design). In: Wolfgang Bibel & Jörg H. Siekmann: Proceedings of the Frühjahrsschule Künstliche Intelligenz (Spring School in Artificial Intelligence), Teisendorf, Germany, 15.-24. März 1982, Informatik-Fachberichte 59. Springer, pp. 141–201, doi:10.1007/978-3-642-68828-7_4.
  2. Bruno Buchberger (1985): Symbolic Computation (An Editorial). Journal of Symbolic Computation 1(1), pp. 1–6, doi:10.1016/S0747-7171(85)80025-0.
  3. Bruno Buchberger (2013): Mathematics of the 21st Century: A Personal View. In: Laura Kovács & Temur Kutsia: Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science (SCSS 2013), RISC Report Series 13-06. Johannes Kepler University, Linz/Hagenberg, Austria, pp. 1. Available at (See also the link to the slides of this talk on the website of SCSS 2013 at
  4. Bruno Buchberger & Olga Caprotti (2001): Electronic Proceedings of the First International Workshop on Mathematical Knowledge Management (MKM 2001). RISC, Johannes Kepler University, Linz/Hagenberg, Austria. Available at
  5. Bruno Buchberger, Gaston H. Gonnet & Michiel Hazewinkel (2003): Mathematical Knowledge Management.. Special issue of the Annals of Mathematics and Artificial Intelligence 38(1-3), pp. 1–2, doi:10.1023/A:1022900528196.

Comments and questions to:
For website issues: