Bruno Buchberger

Search results

• 2023

  Automated Programming, Symbolic computation, Machine Learning: My Personal View

  Buchberger, B., 2023, In: Annals of Mathematics and Artificial Intelligence. 91, 5, p. 569-589 21 p.

  Research output: Contribution to journal › Article › peer-review
• 2017

  Gröbner Bases Computation by Triangularizing Macaulay Matrices

  Buchberger, B., 2017, In: Advanced Studies in Pure Mathematics (The 50th Anniversary of Gröbner Bases). 75, p. 1-9 9 p.

  Research output: Contribution to journal › Article › peer-review

• Satisfiability Checking and Symbolic Computation

  Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Griggio, A., Kröning, D., Seiler, W. M. & Sturm, T., 2017, In: ACM Communications in Computer Algebra. 50, 4, p. 145-147 3 p.

  Research output: Contribution to journal › Article › peer-review
• 2016

  Theorema 2.0: Computer-Assisted Natural-Style Mathematics

  Buchberger, B., Jebelean, T., Kutsia, T., Maletzky, A. & Windsteiger, W., 2016, In: Journal of Formalized Reasoning. 9, 1, p. 149-185 37 p.

  Research output: Contribution to journal › Article › peer-review
• 2011

  Buchberger's Algorithm

  Buchberger, B. & Kauers, M., 2011, In: Scholarpedia Journal. 6, 10, p. 7764-7764 1 p.

  Research output: Contribution to journal › Article › peer-review
• 2010

  Groebner Bases

  Buchberger, B. & Kauers, M., Oct 2010, In: Scholarpedia Journal. 5, 10, 16 p.

  Research output: Contribution to journal › Article › peer-review
• 2009

  Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis

  Vajda, R., Jebelean, T. & Buchberger, B., Apr 2009, In: Mathematics and Computers in Simulation. 79, 8, p. 2310-2316 7 p.

  Research output: Contribution to journal › Article › peer-review
• 2008

  General Polynomial Reduction with Theorema Functors: Applications to Integro-Differential Operators and Polynomials

  Buchberger, B., Tec, L., Rosenkranz, M. & Regensburger, G., Sept 2008, In: SIGSAM Bulletin. 42, 3, p. 135-137 3 p.

  Research output: Contribution to journal › Article

• 2006

  Theorema: Towards Computer-Aided Mathematical Theory Exploration

  Buchberger, B., Craciun, A., Jebelean, T., Kovacs, L., Nakagawa, K., Windsteiger, W., Piroi, F., Popov, N., Robu, J., Rosenkranz, M. & Kutsia, T., 2006, In: Journal of Applied Logic. p. 470-504 35 p.

  Research output: Contribution to journal › Article › peer-review
• 2004

  Towards the Automated Synthesis of a Groebner Bases Algorithm

  Buchberger, B., 2004, In: RACSAM - Revista de la Real Academia de Ciencias Mathematicas. 98, 1, p. 65-75 11 p.

  Research output: Contribution to journal › Article › peer-review

• 2003

  Solving Linear Boundary Value Problems Via Noncommutative Gröbner Bases

  Rosenkranz, M., Engl, H. & Buchberger, B., Jul 2003, In: Applicable Analysis. 82, 7, p. 655-675 21 p.

  Research output: Contribution to journal › Article › peer-review
• 2001

  Groebner Bases and Systems Theory

  Buchberger, B., Oct 2001, In: Multidimensional Systems and Signal Processing. 12, 3/4, p. 223-253 21 p.

  Research output: Contribution to journal › Article › peer-review

• Theorema: A Short Introduction

  Buchberger, B., Mar 2001, In: The Mathematica Journal. 8, 2, p. 247-252 6 p.

  Research output: Contribution to journal › Article

• 2000

  Automated Theorem Proving: Theory or Practice?

  Buchberger, B., Feb 2000, In: Mitteilungen der Deutschen Mathematiker Vereinigung. 10 p.

  Research output: Contribution to journal › Article

• Gröbner bases and systems theory

  Buchberger, B., Dec 2000, In: Journal of Multidimensional Systems and Signal Processing. 21 p.

  Research output: Contribution to journal › Article

• Mathematik am Computer: Die nächste Überforderung? (Mathematics on the Computer: The Next Overtaxation?

  Buchberger, B., Mar 2000, In: Didaktikreihe der österreichischen mathematischen Gesellschaft. 131, p. 37-56 19 p.

  Research output: Contribution to journal › Article › peer-review

• Theorem Proving with and for Gröbner Bases

  Buchberger, B., Feb 2000, In: Mitteilungen der Deutschen Mathematiker Vereinigung. p. 16-19 4 p.

  Research output: Contribution to journal › Article

• 1999

  Teaching of Mathematics Using Theorema

  Jebelean, T. & Buchberger, B., Dec 1999, In: The International Journal of Computer Algebra in Mathematics Education. 65, 1, p. 25-50 26 p.

  Research output: Contribution to journal › Article

• 1985

  An Algorithm for Constructing Canonical Bases of Polynomial Ideals

  Winkler, F., Rolletschek, H., Lichtenberger, F. & Buchberger, B., 1985, In: ACM Transactions on Mathematical Software. p. 66-78 13 p.

  Research output: Contribution to journal › Article › peer-review