Bruno Buchberger

main contributions
refereed publications
unrefereed
books - journals
invited talks
contributed talks
 

 

Books - Proceedings - Journals

Books

1981-00-00-B Mathematik für Informatik I – Die Methode der Mathematik (Mathematics for Computer Science I – The Method of Mathematics). B. Buchberger, F. Lichtenberger. Second edition, 1981. Springer-Verlag, Berlin - Heidelberg - New York, 315 pages, ISBN 3-540-11150-6. [pdf] [bib]
Books and Conference Proceedings

Hagenberg Research. B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
2004-09-22-C Artificial Intelligence and Symbolic Computation. B. Buchberger, J. Campbell (ed.). Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation, RISC, Johannes Kepler University, Austria), Lecture Notes in Artificial Intelligence, 3249, September 2004. Springer Berlin-Heidelberg, ISSN 0302-9743, ISBN 3-540-232. [bib]
2003-02-16-A Mathematical Knowledge Management. A. Asperti, B. Buchberger, J. H. Davenport (ed.). Proceedings of Second International Conference on Mathematical Knowledge Management (MKM 2003), Bertinoro, Italy, Lecture Notes in Computer Science, 2594, 2003. Springer - Verlag Berlin - Heidelberg - New York, ISSN 0302-9743, ISBN 3-540-005. [bib]
2003-05-01-A Mathematical Knowledge Management. B. Buchberger, G. Gonnet, M. Hazewinkel (ed.). Special Issue of Annals of Mathematics and Artificial Intelligence, 38/1-3, May 2003. Kluwer Academic Publishers, Dordrecht, The Netherlands, ISSN 1012-2443. 2003-05-01-A. [bib]
2001-02-19-C Computer Aided Systems Theory – EUROCAST 2001. R. Moreno-Diaz, B. Buchberger, J.L. Freire (ed.). Proceedings of EUROCAST 2001, 2001. Springer-Verlag Berlin Heidelberg, ISSN 0302-9743, ISBN 3-540-429. [bib]
2001-09-24-B First International Workshop on Mathematical Knowledge Management (MKM 2001). B. Buchberger, O. Caprotti (ed.). Proceedings of First International Workshop on Mathematical Knowledge Management (MKM 2001), RISC-Linz, Austria, September 2001. [url] [bib]
Gröbner Bases and Applications - Proceedings of 33 Years of Gröbner Bases. B. Buchberger, F. Winkler (ed.). London Mathematical Society Lecture Note Series 251, 1 edition, March 1998. Cambridge University Press, ISBN-10: 0521632986; ISBN-13: 978-0521632980. [bib]
1998-06-29-B Second International Theorema Workshop. Second International Theorema Workshop (ed.). Proceedings of Second International Theorema Workshop, 1998. [bib]
1994-09-00-A Parallel Processing: CONPAR 94 VAPP VI. B. Buchberger, J. Volkert (ed.). Proceedings of 3rd Joint International Conference on Vector and Parallel Processing, Linz, Austria, Lecture Notes in Computer Science, 854, September 1994. Springer-Verlag Berlin - Heidelberg - New York, ISBN 3-540-58430-7. [bib]
1986-00-00-A Rechnerorientierte Verfahren (Computer Oriented Methods). B. Buchberger, B. Kutzler, M. Feilmeier, M. Kratz, U. Kulisch, S. Rump (ed.). 1986. Teubner Verlag, Stuttgart, ISBN 3-519-02617-1. [bib]
1985-04-01-B EUROCAL '85. B. Buchberger (ed.). Proceedings of European Conference on Computer Algebra (EUROCal '85), Linz, Austria, Lecture Notes in Computer Science, 203/I (Invited Lectures), April 1985. Springer-Verlag Berlin-Heidelberg-New York-Tokyo, ISBN 3-540-15983-5, ISBN 0-397-15983-5. [bib]
1982-00-00-D Computer Algebra - Symbolic and Algebraic Computation. B. Buchberger, G.E. Collins, R. Loos (ed.). Computing (Archiv for Informatics and Numerical Computation), Supplement Nr. 4 (1st ed.), 1982. Springer Verlag Wien, ISSN 0344-8029, ISBN 3-211-81684-4, ISBN 0-387-81684-4, ISBN 3-211-81776-X, ISBN 0-387-81776-X, ISBN 7-5062-0253-0, BBK 22.14+22.16. (2nd edition: Springer-Verlag Wien-New York, 1982, 1983; Reprinted: World Publishing Coorporation, Beijing, 1988; Russian translation: translated by V.P. Gerdt, D.Yu.Grigoryev, V.A. Rostovtsev, S.Yu. Slavyanov, Mir Publishing Company, Moscow, 1986). [bib]
Journals

Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science. Adel Bouhoula, Bruno Buchberger, Laura Kovacs, Temur Kutsia (ed.). ISSN 0747-7171. [url] [bib]
2003-09-00-A Journal of Algebra and its Applications. B. Buchberger (member of the editorial board) (ed.). World Scientific Publishing Company Pte. Ltd., Singapore, ISSN 0219-4988. [bib]
Journal of Applied Logic. D. M. Gabbay, A. J.I. Jones, S. Kraus, J. Siekmann (ed.). ISSN 1570-8683. [bib]
Journal of Multidimensional Systems and Signal Processing. N. K. Bose (ed.). Springer, ISSN 0923-6082. [bib]
2001-00-00-A Analele Universitatii din Timisoara, Seria Matematica - Informatica. B. Buchberger (member of the editorial board) (ed.). University of Timisoara, Mathematical Institute, ISSN 1224-970X. [bib]
Journal for Universal Computer Science. B. Buchberger, N. Kulathuramaiyer, H. Maurer, et. al. (ed.). ISSN 0948-695x. [bib]
1993-00-00-A Annals of Mathematics and Artificial Intelligence. B. Buchberger (member of editorial board) (ed.). J.C.Baltzer AG Science Publishers, Basel, Switzerland, ISSN 1012-2443. [bib]
Applied Algebra and Error Correcting Codes. B. Buchberger, M. Bras-Amoros, T. Hoholdt (ed.). Springer, Heidelberg, Germany, ISSN 0302-9743. [bib]
1985-03-00-B Journal of Symbolic Computation. B. Buchberger (founding editor-in-chief 1985-1995) (ed.). Journal of Symbolic Computation, Academic Press Inc., Harcourt Brace Jovanovich Publishers, London, [bib]