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.
Bruno Buchberger (1985):
Symbolic Computation (An Editorial).
Journal of Symbolic Computation 1(1),
pp. 1–6,
doi:10.1016/S0747-7171(85)80025-0.
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 https://www.risc.jku.at/publications/download/risc_4737/TR_13_06_SCSS2013.pdf.
(See also the link to the slides of this talk on the website of SCSS 2013 at https://www.risc.jku.at/conferences/scss2013/program.html.).
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 https://www.risc.jku.at/conferences/MKM2001/Proceedings/.
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.
eptcs@eptcs.org