@inproceedings(DBLP:conf/ki/Buchberger82, author = {Bruno Buchberger}, year = {1982}, title = {Computer-unterst{\"{u}}tzter Algorithmenentwurf (Computer-Aided Algorithm Design)}, editor = {Wolfgang Bibel and J{\"{o}}rg H. Siekmann}, booktitle = {Proceedings of the Fr{\"{u}}hjahrsschule K{\"{u}}nstliche Intelligenz (Spring School in Artificial Intelligence), Teisendorf, Germany, 15.-24. M{\"{a}}rz 1982}, series = {Informatik-Fachberichte}, volume = {59}, publisher = {Springer}, pages = {141--201}, doi = {10.1007/978-3-642-68828-7\_4}, ) @article(jsc1985editorial, author = {Bruno Buchberger}, year = {1985}, title = {Symbolic Computation (An Editorial)}, journal = {Journal of Symbolic Computation}, volume = {1}, number = {1}, pages = {1--6}, doi = {10.1016/S0747-7171(85)80025-0}, ) @inproceedings(scss2013, author = {Bruno Buchberger}, year = {2013}, title = {Mathematics of the 21st Century: A Personal View}, editor = {Laura Kov\'{a}cs and Temur Kutsia}, booktitle = {Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science ({SCSS 2013)}}, series = {RISC Report Series}, volume = {13-06}, organization = {Johannes Kepler University}, address = {Linz/Hagenberg, Austria}, pages = {1}, url = {https://www.risc.jku.at/publications/download/risc_4737/TR_13_06_SCSS2013.pdf}, note = {(See also the link to the slides of this talk on the website of SCSS 2013 at \url{https://www.risc.jku.at/conferences/scss2013/program.html}.)}, ) @proceedings(mkm01, editor = {Bruno Buchberger and Olga Caprotti}, year = {2001}, title = {Electronic Proceedings of the First International Workshop on Mathematical Knowledge Management ({MKM 2001})}, organization = {RISC, Johannes Kepler University}, address = {Linz/Hagenberg, Austria}, url = {https://www.risc.jku.at/conferences/MKM2001/Proceedings/}, ) @article(DBLP:journals/amai/BuchbergerGH03, author = {Bruno Buchberger and Gaston H. Gonnet and Michiel Hazewinkel}, year = {2003}, title = {Mathematical Knowledge Management.}, journal = {Special issue of the Annals of Mathematics and Artificial Intelligence}, volume = {38}, number = {1-3}, pages = {1--2}, doi = {10.1023/A:1022900528196}, )