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

 

Refereed Publications in Journals, Proceedings, etc.

Copyright: If you download papers, please, respect the copyright of the publishers indicated at the various papers. If no publisher is explicitly mentioned, the copyright is with Bruno Buchberger.

If you download a paper, I would appreciate if you send an e-mail with the title of the paper. If you use material from the papers, please, cite them appropriately.

The files with extension .nb are Mathematica notebooks. For reading them you need Mathematica installed, see Wolfram. For executing the formulae in the input cells in some of the papers, in addition to Mathematica, you need our Theorema system, see Theorema.

Automated Programming, Symbolic computation, Machine Learning: My Personal View. Bruno Buchberger. Ann. Math. Artif. Intell. 91(5), pp. 569-589. 2023. 1012-2443. [bib]
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger. JFR 9(1), pp. 149-185. 2016. ISSN 1972-5787. [url] [bib]
2014-08-00-B Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. A. Maletzky, B. Buchberger. In: Mathematical Software - ICMS 2014, Hoon Hong and Chee Yap (ed.), Proceedings of The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014, Lecture Notes in Computer Science 8592, pp. 41-48. 2014. Springer Berlin Heidelberg, ISBN 978-3-662-44198-5. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_8. [url] [pdf] [bib]
2014-08-00-A Groebner Bases in Theorema. B. Buchberger, A. Maletzky. In: Mathematical Software - ICMS 2014, Hoon Hong and Chee Yap (ed.), Proceedings of The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014, Lecture Notes in Computer Science 8592, pp. 374-381. 2014. Springer Berlin Heidelberg, ISBN 978-3-662-44198-5. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_58. [url] [pdf] [bib]
2011-10-00-A Buchberger's Algorithm. Bruno Buchberger, Manuel Kauers. Scholarpedia 6(10), pp. 7764-7764. October 2011. 1941-6016. [url] [bib]
2011-00-00-A Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 273-331. 2011. Springer, Wien, ISBN 978-3-7091-0793-5. Also available as RICAM Report 2010-05, September 2010. [pdf] [bib]
2010-09-00-A An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. Loredana Tec, Georg Regensburger, Markus Rosenkranz and Bruno Buchberger. In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama (ed.), Proceedings of ICMS, Lecture Notes in Computer Science 6327, pp. 245-248. 2010. Springer, 978-3-642-15581-9. [pdf] [bib]
2010-07-00-A From Program Verification to Automated Debugging. N. Popov, T. Jebelean, B. Buchberger. In: Workshop on Symbolic Computation in Software Science, T. Jebelean and M. Mosbah and N. Popov (ed.), Proceedings of SCSS 2010, pp. 55-65. July 2010. RISC-Linz Report Series, Johannes Kepler University of Linz, Austria, .. [bib]
2010-10-00-A Groebner Bases. Bruno Buchberger, Manuel Kauers. Scholarpedia 5(10), pp. 7763-7763. October 2010. ISSN 1941-6016. [url] [bib]
2009-05-00-A A Symbolic Framework for Operations on Linear Boundary Problems. Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. In: Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing , Gerdt, Vladimir P.; Mayr, Ernst W.; Vorozhtsov, Evgenii H. (ed.), Proceedings of CASC '09, Kobe, Japan, LNCS 5743, pp. 269-283. September 2009. Springer-Verlag, ISBN: 978-3-642-04102-0. Also available as RICAM Report 09-10, May 2009. [url] [bib]
2009-04-00-A Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis. R. Vajda, T. Jebelean, B. Buchberger. Mathematics and Computers in Simulation 79(8), pp. 2310-2316. April 2009. Elsevier, ISSN: 0378-4754. Special Issue on Nonstandard Applications of Computer Algebra. [url] [pdf] [bib]
2009-00-00-A Lets Solve! A Gentle Introduction to Groebner Bases for High-School Students. B. Buchberger. In: Introduction to Mathematica, C. Miyaji (ed.), pp. 206-232. 2009. TDU Publishing, Tokyo, 000. [bib]
2008-09-00-A General Polynomial Reduction with Theorema Functors: Applications to Integro-Differential Operators and Polynomials . B. Buchberger, G. Regensburger, M. Rosenkranz, L. Tec. SIGSAM Bulletin 42(3), pp. 135-137. September 2008. ISSN 0163-5824. Extended abstract from ISSAC 2008 poster presentation. [url] [bib]
2004-09-16-A Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness. J. Robu, D. Tepeneu, T. Ida, H. Takahashi, B. Buchberger. In: Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry), Hoon Hong, Dongming Wang (ed.), Lecture Notes in Computer Science 3763, pp. 19-33. 2006. Springer Berlin / Heidelberg, University of Florida, Gainesville, FL, USA, ISBN 978-3-540-31332-8. [bib]
2006-03-16-A Theorema. W. Windsteiger, B. Buchberger, M. Rosenkranz. In: The Seventeen Provers of the World, Freek Wiedijk (ed.), Lecture Notes in Artificial Intelligence (LNAI) 3600, pp. 96-107. 2006. Springer Berlin Heidelberg New York, ISBN 3-540-30704-4. [url] [pdf] [bib]
2005-09-09-A Theorema: Towards Computer-Aided Mathematical Theory Exploration. B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Journal of Applied Logic 4(4), pp. 470-504. 2006. ISSN 1570-8683. [url] [pdf] [bib]
2005-07-01-A Label Management in Theorema. F. Piroi, B. Buchberger. In: Informal proceedings of the 4th International Conference on Mathematical Knowledge Management, M. Kohlhase (ed.), pp. -. July 2005. Bremen, Germany. [bib]
2004-09-22-A Algorithm Supported Mathematical Theory Exploration: A Personal View and Stragegy. B. Buchberger. In: Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), B. Buchberger, John Campbell (ed.), Springer Lecture Notes in Artificial Intelligence 3249, pp. 236-250. 22-24 September 2004. Copyright: Springer, Berlin-Heidelberg, RISC, Johannes Kepler University, Austria, ISSN 0302-9743, ISBN 3-540-232. [pdf] [bib]
2004-02-18-A Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. B. Buchberger, A. Craciun. In: Electronic Notes in Theoretical Computer Science, Fairouz Kamareddine (ed.)93, pp. 24-59. 18 February 2004. ISBN 044451290X. Proc. of the Mathematical Knowledge Management Workshop, Edinburgh, Nov. 25, 2003. [url] [pdf] [bib]
2004-09-26-A Algorithm Synthesis by Lazy Thinking: Using Problem Schemes. B. Buchberger, A. Craciun. In: Proceedings of SYNASC 2004, 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, D.Petcu and V.Negru and D.Zaharie and T.Jebelean (ed.), pp. 90-106. 26-30 September 2004. Copyright: Mirton Publisher, Timisoara, Romania, ISBN 973-661-441-7. [pdf] [bib]
2004-07-03-A An Environment for Building Mathematical Knowledge Libraries. F. Piroi, B. Buchberger. In: Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR), Wolfgang Windsteiger and Christoph Benzmueller (ed.), pp. 19-29. 4-8 July 2004. Cork, Ireland, ISBN 3-902276-04-5. [pdf] [bib]
2004-04-09-A Computational Origami: Interaction of Solving, Proving and Computing. B. Buchberger, T. Ida. In: Proceedings of World Conference on 21st Century Mathematics, , pp. -. 18-20 March 2004. Lahore, Pakistan, accepted. [nb] [bib]
2004-09-19-A Predicate Logic with Sequence Variables and Sequence Function Symbols. T. Kutsia, B. Buchberger. In: Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04, Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec (ed.), Lecture Notes in Computer Science 3119, pp. 205-219. Sep 19-21 2004. Springer Verlag, Bialowieza, Poland, ISBN 3-540-23029-7. [pdf] [bib]
2004-09-22-B Proving and Constraint Solving in Computational Origami. T. Ida, D. Tepeneu, B. Buchberger, J. Robu. In: Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), B. Buchberger and John Campbell (ed.), Springer Lecture Notes in Artificial Intelligence 3249, pp. 132-142. 22-24 September 2004. Copyright: Springer-Berlin, RISC, Johannes Kepler University, Austria, ISSN 0302-9743, ISBN 3-540-232. [bib]
2004-02-20-A Towards the Automated Synthesis of a Groebner Bases Algorithm. B. Buchberger. RACSAM - Revista de la Real Academia de Ciencias (Review of the Spanish Royal Academy of Science), Serie A: Mathematicas 98(1), pp. 65-75. 2004. ISSN 1578 7303. [pdf] [bib]
2003-10-04-A Algorithm Invention and Verification by Lazy Thinking. B. Buchberger. Analele Universitatii din Timisoara, Seria Matematica - Informatica XLI, pp. 41-70. 2003. Copyright: Mirton Publisher, Timisoara, Romania, ISSN 1224-970X. special issue on Computer Science - Proceedings of SYNASC'03. [pdf] [bib]
2003-10-01-B Algorithm Invention and Verification by Lazy Thinking. B. Buchberger. In: Proceedings of SYNASC 2003, 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.), pp. 2-26. 1-4 October 2003. Copyright: Mirton Publisher, Timisoara, Romania, ISBN: 973-661-104-3. [nb] [bib]
2003-10-04-B Proving and Solving in Computational Origami. T.Ida, B. Buchberger. Analele Universitatii din Timisoara, Seria Matematica - Informatica XLI, pp. 247-263. 2003. Copyright: Mirton Publisher, Timisoara, Romania, ISSN 1224-970X. special issue on Computer Science - Proceedings of SYNASC'03. [ps] [nb] [pdf] [bib]
2003-07-00-A Solving Linear Boundary Value Problems Via Non–commutative Groebner Bases. M. Rosenkranz, B. Buchberger, H. W. Engl. Applicable Analysis 82(7), pp. 655-675. July 2003. Copyright: Taylor & Francis Ltd., ISSN 0003-6811, ISSN 1563-504X. [bib]
2003-00-00-A Theorema: Computation and Deduction in Natural Style. T. Jebelean, B. Buchberger. In: Computer Algebra Handbook, J. Grabmeier, E. Kaltofen, V. Weispfennig (ed.), pp. 453-454. 2003. Springer - Verlag Berlin, ISBN 3-540-65466-6. [bib]
2002-02-25-A Focus Windows: A New Technique for Proof Presentation. F. Piroi, B. Buchberger. In: Proceedings of the 8th Rhine Workshop on Computer Algebra, Mannheim, Germany, H. Kredel, W. Seiler (ed.), pp. 297-313. March 21-22 2002. _. [pdf] [abstract] [bib]
2002-12-18-A Groebner Bases: Applications. B. Buchberger. In: The Concise Handbook of Algebra, A. V. Mikhalev and G. F. Pilz (ed.), pp. 265-268. 2002. Kluwer Academic Publishers, Dordrecht, Netherlands., ISBN 0-7923-7072-4. [bib]
2002-12-19-A Groebner Bases: The Commutative Case. B. Buchberger. In: The Concise Handbook of Algebra, A. V. Mikhalev, G. F. Pilz (ed.), pp. 262-265. 2002. Copyright: Kluwer Academic Publishers, Dordrecht, Netherlands, ISBN 0-7923-7072-4. [bib]
2002-12-00-C Invention by Lazy Thinking. B. Buchberger. In: "A Min Tjoa @ Work"- In honor of the 50th birthday of Univ.Prof.Dr. A Min Tjoa, R. Wagner (ed.), pp. 11-31. December 2002. Austrian Computer Society, ISBN 3-85403-164-5. [bib]
2002-10-09-A Proving the Correctness of the Merge-Sort Algorithm with Theorema. A. Craciun, B. Buchberger. In: Proceedings of SYNASC 2002, 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.), pp. 97-111. 9-12 October 2002. Mirton Publisher, Timisoara, Romania, ISBN 973-585-785-5. [bib]
2002-10-09-B Solving Linear Boundary Value Problems Via Non–commutative Groebner Bases. M. Rosenkranz, B. Buchberger, H. W. Engl. In: Proceedings of SYNASC 2002, 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.), pp. 300-313. 9-12 October 2002. Mirton Publisher, Timisoara, Romania, ISBN 973-585-785-5. [bib]
1997-00-00-B Symbolic Computation. B. Buchberger. In: Handbuch der Informatik, G. Pomberger, P. Rechenberg (ed.), 1st edition , pp. 955-974. 2002. Carl Hanser Verlag Munich, ISBN 3446401857. (3rd edition, pp. 963 - 981). [bib]
2001-12-00-A Computers and Mathematical Research. B. Buchberger. In: Mathematical Glimpses into the 21st Century, Round Table at the Third European Congress of Mathematics, Barcelona, C.Casacuberta, R. M. Miro-Roig, J. M. Ortega and S. Xambo-Descamps (ed.), pp. 140-147. 2001. Copyright: Centro Internacional de Metodos Numericos en Ingenieria, Gran Capitan, Barcelona, Espana, Artes Graficas Torres S.A, ISBN: 84-89925-85-2. [bib]
2001-07-00-A Groebner Bases and Systems Theory. B. Buchberger. Multidimensional Systems and Signal Processing, Special Issue on "Applications of Groebner Bases in Multidimensional Systems and Signal Processing" 12(3/4), pp. 223-253. October 2001. Kluwer Academic Publishers, Boston, ISSN 0923-6082. Z. Lin, L. Xu (eds.). [bib]
2001-02-19-A Groebner Bases: A Short Introduction for Systems Theorists. B. Buchberger. In: Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), R. Moreno-Diaz, B. Buchberger, J.L. Freire (ed.), Lecture Notes in Computer Science 2178 , pp. 1-19. 19-23 February 2001. Copyright: Springer - Verlag Berlin, Las Palmas de Gran Canaria, ISSN 0302-9743, ISBN 3-540-429. [abstract] [pdf] [bib]
2001-10-02-A Groebner Rings and Modules. B. Buchberger. In: Proceedings of SYNASC 2001 (The 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing), S. Maruster, B. Buchberger, V. Negru, T. Jebelean (ed.), pp. 22-25. 2-5 October 2001. University of the West Timisoara, Romania, RISC-Linz Report Series No. 01-20. [abstract] [pdf] [ps] [bib]
2001-06-25-A Logicographic Symbols: A New Feature in Theorema. B. Buchberger. In: Symbolic Computation - New Horizons (Proceedings of the 4th International Mathematica Symposium), Y. Tazawa (ed.), pp. 23-30. 25-27 June 2001. Copyright: Tokyo Denki University Press, Tokyo Denki University, Chiba New Town Campus, Japan, ISBN 4-501-73020-X C3041. [pdf] [abstract] [ps] [bib]
2001-06-18-A Presenting Proofs Using Logicographic Symbols. K. Nakagawa, B. Buchberger. In: Proceedings of the Workshop on Proof Transformation and Presentation at the IJAR-2001, A. Fiedler, H. Horacek (ed.), pp. -. 18 June 2001. Siena, [abstract] [ps] [pdf] [bib]
2001-02-19-B The PCS Prover in Theorema. B. Buchberger. In: Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), R. Moreno-Diaz, B. Buchberger, J.L. Freire (ed.), Lecture Notes in Computer Science 2178 , pp. 469-478. 19-23 February 2001. Copyright: Springer - Verlag Berlin, Las Palmas de Gran Canaria, ISSN 0302-9743, ISBN 3-540-429. [ps] [pdf] [abstract] [bib]
2001-03-00-A Theorema: A Proving System Based on Mathematica. B. Buchberger. The Mathematica Journal 8(2), pp. 247-252. 2001. Copyright: Wolfram Research, ISSN: 1047-5974. [bib]
2000-05-22-A Computer-Algebra: Das Ende der Mathematik? (Computer Algebra: The End of Mathematics?). B. Buchberger. In: Mitteilungen der Deutschen Mathematiker-Vereinigung, 2, pp. 16-19. 2000. Copyright: Birkhaeuser Verlag AG, Basel, Switzerland, ISSN 0947-4471, ISSN 1399-590. (English Translation in: ACM SIGSAM Bulletin, March 2002. Danish Translation in: Matilde, Nr. 8, February 2000, pp. 4-7, Univ. of Kobenhavn). [pdf] [ps] [abstract] [bib]
2000-11-01-A Computer-assisted Proving by the PCS Method. B. Buchberger. In: Proceedings of the Workshop on Constructive Algebra, - (ed.), pp. -. 1-3 November 2000. Amsterdam, -. Springer Lecture Notes in Computer Science, submitted. [pdf] [abstract] [pdf] [bib]
2000-10-06-A Mathematics and Computer Science: A Personal View. B. Buchberger. Analele Universitatii din Timisoara, Seria Matematica - Informatica 38(1), pp. 3-15. 2000. ISSN 1224-970X. [bib]
2000-03-00-A Mathematik am Computer: Die naechste Ueberforderung? (Mathematics on the Computer: The Next Overtaxation?). B. Buchberger. In: Didaktik-Reihe der Oesterreichischen Mathematischen Gesellschaft (Proceedings of a Symposium for High-school Teachers, September 24, 1999, Graz, Austria), Vol.131, pp. 37-56. March 2000. [bib]
2000-08-06-A The Theorema Project: A Progress Report. B. Buchberger, C. Dupre, T. Jebelean, F. Kriftner, K. Nakagawa, D. Vasaru, W. Windsteiger. In: Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning), M. Kerber, M. Kohlhase (ed.), pp. 98-113. 6-7 August 2000. Copyright: A.K. Peters, Natick, Massachusetts, St. Andrews, Scotland, ISBN 1-56881-145-4. [ps] [pdf] [abstract] [bib]
2000-06-26-B Theorem Proving For and With Gröbner Bases Theory. B. Buchberger. In: 2nd International Workshop on Multidimensional (nD) Systems, June 27-30, 2000, Csocha Castle, Lower Silesia, Poland., K. Galkowski (ed.), pp. 15-22. 2000. Copyright: Technical University Press, Zielona Gora, Poland, ISBN: 83-85911-71-5. [bib]
2000-10-04-A Theory Exploration with Theorema. B. Buchberger. Analele Universitatii Din Timisoara, Seria Matematica-Informatica XXXVIII(2), pp. 9-32. 2000. ISSN 1124-970X. Selected papers of the 2nd International Workshop on Symbolic and Numeric Algorithms in Scientific Computing, Oct. 4-6, 2000, Timisoara, Romania (T. Jebelean, V. Negru, A. Popovici eds.). [abstract] [ps] [pdf] [bib]
1999-00-00-A Teaching of Mathematics Using Theorema. B. Buchberger, T. Jebelean. The International Journal of Computer Algebra in Mathematical Education 6(1), pp. 25-50. 1999. Copyright: Research Information Ltd., UK., ISSN 1362-7368. [bib]
1998-00-00-E An Algorithmic Criterion for the Solvability of a System of Algebraic Equations. B. Buchberger. In: Gröbner Bases and Applications, B. Buchberger, F. Winkler (ed.), London Mathematical Society Lecture Notes Series 251 , pp. 535-545. 1998. Cambridge University Press, ISBN 0-521-63298-6. [pdf] [bib]
1998-00-00-A Introduction to Groebner Bases. B. Buchberger. In: Groebner Bases and Applications, B. Buchberger, F. Winkler (ed.), London Mathematical Society Lecture Notes Series 251, pp. 3-31. 1998. Cambridge University Press, ISBN 0-521-63298-6. [pdf] [bib]
1998-00-00-C Theorema: A System for Formal Scientific Training in Natural Language Presentation. B. Buchberger, T. Jebelean, D.Vasaru. In: Proceedings of Ed-Media 1998 (International Conference on Educational Multimedia), - (ed.), pp. 174-179. June 20-23 1998. Freiburg, Germany, [bib]
1997-07-21-A A Survey of the Theorema project. B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, E. Tomuta, D. Vasaru. In: Proceedings of ISSAC'97 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997), W. Kuechlin (ed.), pp. 384-391. 1997. ACM Press, ISBN 0-89791-875-4. [bib]
1997-00-00-C Groebner Bases. B. Buchberger. Encyclopaedia of Mathematics Supplement Volume I, pp. 275-275. 1997. Kluwer Acad. Publ., ISBN 0-7923-4709-9. (Editor-in-Chief: M. Hazewinkel). [bib]
1997-00-00-D Introduction to Groebner Bases. B. Buchberger. In: Logic of Computation, H.Schwichtenberg (ed.), Proceedings of NATO Advanced Study Institute on Logic of Computation, Marktoberdorf, Germany, July 25-August 6, 1995, NATO ASI Series, Series F: Computer and Systems Sciences Vol. 157, pp. 35-66. 1997. Springer - Verlag Berlin, ISBN 3-540-62963-7. [bib]
1997-00-00-A Mathematica: Doing Mathematics by Computer?. B. Buchberger. In: Advances in the Design of Symbolic Computation Systems, A. Miola, M. Temperini (ed.), pp. 2-20. 1997. Springer Vienna, ISSN 0943-853X, ISBN 3-211-82-844-3. RISC Book Series on Symbolic Computation. [bib]
1996-00-00-B Intelligent Robotic Arm Based on Reactive Control. W. Jacak, B. Buchberger, S. Dreiseitl, T. Kubik. In: Proceeding of the 5th International Workshop on Robotics in Alpe-Adria-Danube Region (RAAD'96), Budapest, Hungary, June 10-13, I. J. Rudas (ed.), pp. 297-302. 1996. Hungarian Robotics Association, Budapest, ISBN 963 420 482 1. [bib]
1996-00-00-C Intelligent Systems Combining Reactive and Learning Capabilities. W. Jacak, B. Buchberger, S. Stifter. In: Proceedings of the 13th European Meeting on Cybernetics and Systems Research, Vienna, Austria, R. Trappl (ed.), pp. 77-82. 1996. Austrian Society for Cybernetic Studies, Vienna, ISBN 3 85206 133 4. [bib]
1996-11-01-A Mathematica as a Rewrite Language. B. Buchberger. In: Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, November 1-4, 1996, Shonan Village Center), T. Ida, A. Ohori, M. Takeichi (ed.), pp. 1-13. 1996. Copyright: World Scientific, Singapore - New Jersey - London - Hong Kong, ISBN 981-02-2923-2. [ps] [pdf] [abstract] [bib]
1996-00-00-D Mathematische Software-Systeme: Die Zukunft (Mathematical Software Systems: The Future). B. Buchberger. Informatik-Spektrum 19(2), pp. 100-101. 1996. Springer, Heidelberg, ISSN 0170-6012. [bib]
1996-03-26-A Symbolic Computation: Computer Algebra and Logic. B. Buchberger. In: Frontiers of Combining Systems, Proceedings of FROCOS 1996 (1st International Workshop on Frontiers of Combining Systems), March 26-28, 1996, Munich, F. Bader, K.U. Schulz (ed.), Applied Logic Series Vol.3, pp. 193-220. 1996. Kluwer Academic Publisher, Dordrecht - Boston - London, The Netherlands, -. [ps] [pdf] [abstract] [bib]
1996-11-02-A Using Mathematica for Doing Simple Mathematical Proofs. B. Buchberger. In: Proceedings of the 4th Mathematica Users' Conference, Tokyo, November 2, 1996., - (ed.), pp. 80-96. 1996. Copyright: Wolfram Media Publishing, -. [bib]
1995-00-00-A Symbolic Computation-Based Synthesis of Neural Network Dynamics and Controllers for Robots. I. Duleba, W. Jacak, R. Muszynski, B. Buchberger. In: Proceedings of the 1995 IEEE International Conference on Neural Networks (ICNN'95), Perth, Australia, - (ed.), pp. 2720-2725. 1995. -. [bib]
1992-00-00-A Using Groebner Bases for Detecting Polynomial Identities. A Case Study on Fermat's Ideal. B. Buchberger, J. Elias. Journal of Number Theory 41(3), pp. 272-279. July 1992. Academic Press, New York, 0022-314X/92. [pdf] [bib]
1991-09-23-A Groebner Bases in Mathematica: Enthusiasm and Frustration. B. Buchberger. In: Proceedings of the IFIP Working Conference on Programming Environments for High-Level Symbolic Computation, September 23-27, Karlsruhe, Germany, P. W. Gaffney, E. N. Houstis (ed.), pp. 80-91. 1991. Copyright: IBM, Bergen Scientific Center Publishing, -. [pdf] [bib]
1990-00-00-A Should Students Learn Integration Rules?. B. Buchberger. ACM SIGSAM Bulletin 24(1), pp. 10-17. January 1990. -. [pdf] [bib]
1988-06-00-B Algebraic Methods for Geometric Reasoning. B. Buchberger, G. E. Collins, B. Kutzler. In: Annual Reviews in Computer Science, J. F. Traub (ed.)Vol. 3, pp. 85-119. 1988. Copyright: Annual Reviews Inc., ISSN 8756-7016/88. [pdf] [bib]
1987-03-00-A Applications of Groebner Bases in Non-Linear Computational Geometry. B. Buchberger. In: IMA Volumes in Mathematics and its Applications, Vol. 14, J. R. Rice (ed.), Proceedings of Workshop on Scientific Software, Minneapolis, USA, March 23-26, 1987, pp. 59-88. 1987. Copyright: Springer, New York, -. [pdf] [pdf] [pdf] [bib]
1987-04-00-A History and Basic Features of the Critical-Pair/Completion Procedure. B. Buchberger. Journal of Symbolic Computation 3(1/2), pp. 3-38. 1987. Copyright: Academic Press Inc., Harcourt Brace Jovanovich Publishers, London, ISSN 0747-7171. (Earlier version appeared in: Proceedings of the Conference on Rewrite Technique and Applications, Dijon, May 1985, Lecture Notes in Computer Science, Vol. 202, Springer, 1985, pp. 1-45). [pdf] [bib]
1987-02-00-A The Parallelization of Critical-Pair/Completion Procedures on the L-Machine. B. Buchberger. In: Proceedings of the Japanese Symposium on Functional Programming, RIKEN Institute, - (ed.), pp. 54-61. February 1987. -. [bib]
1983-09-00-A A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm. F. Winkler, B. Buchberger. In: Proceedings of Algebra and Logic in Computer Science, Gyor, Hungary, J. Demetrovics, G. Katona, A. Salomaa (ed.), Colloquia Mathematica Societatis Janos Bolyai 42, pp. 849-869. September 1986. North Holland, ISBN-10: 0444986952; ISBN-13: 978-0444986955. [pdf] [bib]
1986-00-00-B Computer-Algebra fuer den Ingenieur (Computer Algebra for the Engineer). B. Buchberger, B. Kutzler. In: Rechnerorientierte Verfahren, B. Buchberger and B. Kutzler and M. Feilmeier and M. Kratz and U. Kulisch and S. Rump (ed.), pp. 11-68. 1986. Teubner Verlag, Stuttgart, ISBN 3-519-02617-1. [pdf] [pdf] [pdf] [bib]
1985-03-00-A Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek. ACM Transactions on Mathematical Software 11(1), pp. 66-78. March 1985. ACM, no. [pdf] [bib]
1985-00-00-A Groebner-Bases: An Algorithmic Method in Polynomial Ideal Theory. B. Buchberger. In: Multidimensional Systems Theory - Progress, Directions and Open Problems in Multidimensional Systems, N.K. Bose (ed.), Chapter 6, pp. 184-232. 1985. Copyright: Reidel Publishing Company, Dordrecht - Boston - Lancaster, The Netherlands, ISBN 90-277-1764-8, ISBN 1-4020-1623-9. (Second editioin: N.K.Bose (ed.): Multidimensional Systems Theory and Application, Kluwer Academic Publisher, 2003, pp.89-128.). [pdf] [pdf] [bib]
Gröbner Bases, Polynomial Remainder Sequences and Decoding of Multivariate Codes (Problem #7). B. Buchberger, E.V. Krishnamurthy, F. Winkler. Recent Trends in Multidimensional Systems Theory, pp. 252-256. 1985. D. Reidel Publ. Comp., ISBN-10: 90-277-1764-8; ISBN-13: 1-4020-1623-9. [pdf] [bib]
1985-05-00-A History and Basic Features of the Critical-Pair/Completion Approach. B. Buchberger. In: Proceedings of the Conference on Rewriting Techniques and Applications, Dijon, J.-P. Jouannaud (ed.), Lecture Notes in Computer Science 202, pp. 1-45. May 1985. Springer, ISBN 978-3-540-15976-6. [bib]
1985-00-00-B Mathematik fuer Informatiker: Ein algorithmenorienter Ansatz an der Universitaet Linz (Mathematics for Computer Scientists: An Algorithm Oriented Approach at the University of Linz). F. Lichtenberger, B. Buchberger. In: Special issue: Proceedings of the Symposium "Lehr- und Lernprozesse in der Ingenieurausbildung", Technische Universitaet Graz, Austria, October 8-9, 1985, - (ed.), Zeitschrift fuer Hochschuldidaktik 9/10, pp. 103-110. 1985. ISBN 3-900386-10-2. [pdf] [bib]
1985-10-04-A Mathematik fuer Informatiker: Ein algorithmenorientierte Ansatz an der Universitaet Linz (Mathematics for Computer Scientists: An Algorithm Oriented Approach at the University of Linz). B. Buchberger. In: Proceedings of the Mathematica Didactics Conference, Kassel, Oct. 4-6, 1984, R. Schaper (ed.), pp. 156-172. 1985. Copyright: Leuchtturm Verlag, -. [bib]
1985-09-00-A The L-Language for the Parallel L-Machine (A Parallel Architecture for AI Applications). B. Buchberger, P. Hintenaus. In: Proceedings of the Conference of the Austrian Society for Aritificial Intelligence, Vienna, H. Trost, J. Retti (ed.), Informatik-Fachberichte 106, pp. 120-131. September 1985. Copyright: Springer - Verlag Berlin, ISBN 3-540-15695-X. [pdf] [bib]
1985-07-00-A The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. B. Buchberger. In: Proceedings of the AAECC Conference, Grenoble, J. Calmet (ed.), Springer Lecture Notes in Computer Science 229, pp. 333-347. July 1985. ISBN 978-3-540-16776-1. [pdf] [bib]
1985-04-01-A The Parallel L-Machine for Symbolic Computation. B. Buchberger. In: Proceedings of EUROCAL '85 (European Conference on Computer Algebra), Linz, Austria, April 1-3, 1985, Proceedings Vol.2: Research Contributions, B.F. Caviness (ed.), Lectures Notes in Computer Science 204, pp. 541-542. 1985. Copyright: Springer - Verlag Berlin, ISBN 3-540-15984-3. [pdf] [bib]
1984-00-00-F A Critical-Pair/Completion Algorithm for Finitely Generated Ideals in Rings. B. Buchberger. In: Logic and Machines: Decision Problems and Complexity (Proceedings of the Symposium "Rekursive Kombinatorik", Muenster, May 23-28, 1983), E. Boerger, G. Hasenjaeger, D. Roedding (ed.), Lecture Notes in Computer Science 171, pp. 137-161. 1984. Copyright: Springer - Verlag, Berlin - Heidelberg - New York -Tokyo, ISBN 3-540-13331-3, ISBN 0-387-13331-3. [pdf] [bib]
1984-00-00-B Automatisches Programmieren (Automated Programming). B. Buchberger. In: Artificial Intelligence - Eine Einfuehrung, J. Retti et al. (ed.), pp. 169-198. 1984. Teubner, Stuttgart, ISBN 3-519-02473-X. [pdf] [pdf] [pdf] [pdf] [bib]
1984-06-05-A The Present State of the L-Networks Project. B. Buchberger. In: Proceedings MIMI 84 (Conference on Mini- and Microcomputers and Their Applications), Bari, Juni 5-8, 1984, G. Mastronardi (ed.), pp. 178-181. 1984. Copyright: Acta Press, Anaheim - Calgary - Zurich, ISBN 0-88986-058-0. [pdf] [bib]
1984-12-00-A Towards a Connection Machine for Logical Inference. W. Bibel, B. Buchberger. In: Fifth Generation and Supercomputer Conference, Rotterdam, - (ed.), pp. 177-188. December 1984. -. ( Appeared in Future Generation Computer Systems 1/3). [pdf] [bib]
1983-03-28-A A Note on the Complexity of Constructing Groebner-Bases. B. Buchberger. In: Computer Algebra (Proceedings of EUROCAL 83, European Computer Algebra Conference, London, March 28-30, 1983), J.A. van Hulzen (ed.), Lecture Notes in Computer Science 162, pp. 137-145. 1983. Copyright: Springer- Verlag Berlin - Heidelberg - New York - Tokyo, ISBN 3-540-12868-9. [pdf] [bib]
1983-06-00-A Components for Restructurable Multi-Microprocessor Systems of Arbitrary Topology. B. Buchberger. In: Proceedings of the 21st Symposium on Mini- and Microcomputers, MIMI 83, Lugano, - (ed.), pp. 67-71. June 1983. -. [bib]
1982-00-00-B Algebraic Simplification. B. Buchberger, R. Loos. In: Computer Algebra - Symbolic and Algebraic Computation, B. Buchberger, G. E. Collins, R. Loos (ed.), pp. 11-43. 1982. Copyrigth: Springer Verlag, Vienna - New York, -. [pdf] [bib]
1982-03-15-A Computer-unterstuetzter Algorithmenentwurf (Computer-Aided Algorithm Design). B. Buchberger. In: Proceedings of the Fruehjahrsschule Kuenstliche Intelligenz, Teisendorf, March 15-24, 1982, W. Bibel, J. H. Siekmann (ed.), Informatik-Fachberichte 59, pp. 141-202. 1982. Copyright: Springer -Verlag Berlin - Heidelberg - New York, ISBN 3-540-11974-4. [pdf] [bib]
1982-04-00-A The Construction of Multivariate Polynomials with Pre-assigned Zeros. H. Moeller, B. Buchberger. In: Computer Algebra (Proceedings of EUROCAM '82, European Computer Algebra Conference), Marseille, April 5-7, 1982, J. Calmet (ed.), Lecture Notes in Computer Science 144, pp. 24-31. 1982. Copyright: Springer - Verlag Berlin - Heidelberg - New York, ISBN 3-540-11607-9. [pdf] [bib]
1980-00-00-A A Simplified Proof of the Characterization Theorem for Groebner-Bases. L. Bachmair, B. Buchberger. ACM SIGSAM Bull. 14(4), pp. 29-34. November 1980. Copyright: ACM, New York., no. [pdf] [bib]
1980-09-00-A A Universal Variable-Topology Multi-Microcomputer-System. B. Buchberger, K. Aspetsberger. In: Proc. of the 6th International Symphosium on Mini- and Microcomputers, MIMI '80, Budapest, Hungary, - (ed.), pp. 136-140. September 1980. -. [pdf] [bib]
1979-06-26-A A Criterion for Detecting Unnecessary Reductions in the Construction of Groebner Bases. B. Buchberger. In: Proceedings of the EUROSAM 79 Symposium on Symbolic and Algebraic Manipulation, Marseille, June 26-28, 1979, E. W. Ng (ed.), Lecture Notes in Computer Science 72, pp. 3-21. 1979. Copyright: Springer, Berlin - Heidelberg - New York, ISBN 3-540-09519-5. [pdf] [bib]
1979-00-00-A Computer Trees: A Concept for Parallel Processing. B. Buchberger, J. Fegerl, F. Lichtenberger. Microprocessing and Microsystems 3(6), pp. 244-248. 1979. -. [pdf] [bib]
1978-05-00-A An Improved Algorithmic Construction of Groebner Bases for Polynomial Ideals. C. Kollreider, B. Buchberger. ACM SIGSAM Bull. 12(2), pp. 27-36. May 1978. -. [pdf] [bib]
1978-02-00-A Computer-Trees and Their Programming. B. Buchberger. In: Proceedings of the 4th Coll. "Les arbres en algebre et en programmation", February16-18, 1978, University of Lille, Dept. of Computer Science, - (ed.), pp. 1-18. 1978. -. [pdf] [bib]
1978-00-00-B Input/Output Codings and Transition Functions in Effective Systems. B. Buchberger, B. Roider. Internat. Journal on General Systems 4(3), pp. 201-209. 1978. -. [pdf] [bib]
1978-04-00-B Systems with Universal Subsystems: Realization and Application. B. Buchberger, B. Quatember. In: Proceedings of the Fourth European Meeting on Cybernetics and Systems Research, Linz, - (ed.), Progress in Cybernetics and Systems Research Vol. VII, pp. 25-32. April 1978. Hemisphere Publ. Corp., -. [pdf] [bib]
1976-00-00-A A Theoretical Basis for the Reduction of Polynomials to Canonical Forms. B. Buchberger. ACM SIGSAM Bull. 10(3), pp. 19-29. 1976. Copyright: ACM, New York, -. [pdf] [bib]
1976-01-01-A Das Problem der Programmverifikation (The Problem of Program Verification). B. Buchberger. In: Jahrbuch Ueberblicke Mathematik 1976, Bibliographischs Institut, Mannheim, - (ed.), pp. 163-188. 1976. Copyright: Bibliographisches Institut AG Zuerich, ISBN 3-411-01505-5. [pdf] [bib]
1976-00-00-C Some Properties of Groebner Bases for Polynomial Ideals. B. Buchberger. ACM SIGSAM Bull. 10(4), pp. 19-24. 1976. Copyright: ACM, New York, -. [pdf] [bib]
1974-08-07-A Certain Decompositions of Goedel Numberings and the Semantics of Programming Languages. B. Buchberger. In: Proceedings of the International Symposium on Theoretical Programming, August 7-11, 1972, Novosibirsk, A. Ershov, V. A. Nepomniaschy (ed.), Lecture Notes in Computer Science 5, pp. 152-171. 1974. Copyright: Springer - Verlag Berlin - Heidelberg - New York, ISBN 3-540-067200-5. (Appeared earlier in Russian in: Teoriya Programmirovaniya, part I., Trudy Simposiuma, Novosibirsk, 7-11 August, 1972, Ak. Nauk SSSR, Sibirian Division, Computing Center, pp. 250-266). [pdf] [bib]
1974-00-00-A On Certain Decompositions of Goedel Numberings. B. Buchberger. Archiv fuer Math. Logik und Grundlagenforschung 16(1-2), pp. 85-96. 1974. -. [pdf] [bib]
1973-05-00-A Metody obratscheniya trechdiagonal'nyx matrits (Methods for the Inversion of Tridiagonal Matrices). B. Buchberger, G.A. Yemel`yananko. Zhurnal vych. mat. i mat. fiziki 13(3), pp. 546-554. 1973. -. (English translation: USSR Computational Mathematics and Mathematical Physics, Vol. 13/3, 1973, pp. 10-20.). [pdf] [bib]
1972-00-00-A Bemerkung zu den Reduzierbarkeitskriterien von R.Albrecht fuer das Optimum-Mix-Problem (A Comment on the Reducibility Criteria of R. Albrecht for the Optimum-Mix-Problem). B. Buchberger. Zeitschrift fuer Operations Research 16, pp. 137-143. 1972. Physica-Verlag, Wuerzburg, -. [pdf] [bib]
1971-00-00-A An Extension of ALGOL 60. B. Buchberger. Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. E5-5787, pp. 1-14. 1971. -. [abstract] [pdf] [bib]
1971-00-00-B Associiruyushtshije Funksii i Operator Obyslovlennoj Iteratsii (Associating Functions and the Operator of Conditioned Iteration). B. Buchberger. Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. P5-5788, pp. 1-18. 1971. no. (English Translation: Bericht Nr. 71-1, June 1971, 16 pages, Universitaet Innsbruck, Institut fuer Informatik.). [pdf] [pdf] [abstract] [bib]
1971-00-00-D Metody obrashteniya trehdiagonal'nih matrits (Methods of Inverting Tridiagonal Matrices). B. Buchberger, G.A. Emelyanenko. Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. P11-5686, pp. 1-16. 1971. -. [pdf] [bib]
1971-00-00-C O Velichinah S(i) Opredelennih Rekursiej S(i+1)= u(i) . S(i) + v(i) . S(i-1). (On the Values S(i) Determined by the Recursion S(i+1)= u(i) . S(i) + v(i) . S(i-1)). B. Buchberger. Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. P5-5789, pp. 1-12. 1971. -. [abstract] [pdf] [ps] [bib]
1970-00-00-B Algorithm 13: Loesung eines Optimum-Mix Problemes (Solution of an Optimum-Mix-Problem). R. Albrecht, B. Buchberger. Computing 5, pp. 324-331. 1970. Copyright: Springer Verlag, -. [pdf] [bib]
1970-00-00-A Ein algorithmisches Kriterium fuer die Loesbarkeit eines algebraischen Gleichungssystems (An Algorithmic Criterion for the Solvability of Algebraic Systems of Equations). B. Buchberger. Aequationes mathematicae 3, pp. 374-383. 1970. Copyright: Birkhaeuser Verlag AG, Basel, Switzerland, -. (english transl.: B. Buchberger, F. Winkler: Groebner Bases and Applications, Proc. of the International Conference "33 Years of Groebner Bases", 1998, RISC, Austria, London Math. Society Lecture Note Series 251, Cambridge Univ. Press, 1998, pp.535 -545). [pdf] [bib]
1965-00-00-A Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal). B. Buchberger. Mathematical Institute, University of Innsbruck, Austria. PhD Thesis. 1965. English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions. Vol. 41, Number 3-4, Pages 475-511, 2006. [pdf] [bib]