Bruno Buchberger

Search results

• 2023

  Is ChatGPT Smarter Than Master’s Applicants?

  Buchberger, B., Jan 2023, Hagenberg, Linz: RISC, JKU, 30 p. (RISC Report Series; no. 23-04).

  Research output: Working paper and reports › Preprint

• 2016

  Satisfiability Checking meets Symbolic Computation (Project Paper)

  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., 2016, 15 p. (CoRR - Computing Research Repository; vol. abs/1607.08028).

  Research output: Working paper and reports › Preprint
• 2014

  Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

  Maletzky, A. & Buchberger, B., Oct 2014, Hagenberg, Linz: RISC, JKU, 50 p. (RISC Report Series; no. 14-10).

  Research output: Working paper and reports › Preprint

• 2010

  Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases

  Rosenkranz, M., Regensburger, G., Tec, L. & Buchberger, B., Jan 2010, Altenberger Str. 69, 4040 Linz, Austria: JKU Linz, 52 p. (RISC Report Series; no. 10-21).

  Research output: Working paper and reports › Preprint

• 2009

  Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration

  Buchberger, B., McCasland, R. & Craciun, A., Jun 2009, Schloss Hagenberg, 4232 Hagenberg: RISC, JKU-Linz, 148 p. (RISC Report Series; no. 09-12).

  Research output: Working paper and reports › Preprint

• Knowledge Archives in Theorema: A Logic-Internal Approach

  Rosenkranz, C., Buchberger, B. & Jebelean, T., Jan 2009, Schloss Hagenberg, 4232 Hagenberg: RISC, JKU-Linz, 30 p. (RISC Report Series; no. 09-01).

  Research output: Working paper and reports › Preprint

• 2008

  Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008

  Buchberger, B., Kutsia, T. & Ida, T., 2008, Schloss Hagenberg, 4232 Hagenberg: RISC, JKU-Linz, 205 p. (RISC Report Series; no. 08-08).

  Research output: Working paper and reports › Preprint

• Mathematical Journals as Reasoning Agents: Literature Review

  Piroi, F., Buchberger, B. & Rosenkranz, C., Mar 2008, Schloss Hagenberg, 4232 Hagenberg: RISC, JKU-Linz, 224 p. (RISC Report Series; no. 08-05).

  Research output: Working paper and reports › Preprint

• Mathematical Knowledge Archives in Theorema

  Rosenkranz, C., Jebelean, T. & Buchberger, B., Sept 2008, RISC, Schloss Hagenberg, 4232 Hagenberg: RISC, JKU, 34 p. (RISC Report Series; no. 08-16).

  Research output: Working paper and reports › Preprint

• 2007

  Organisational Tools for MKM in Theorema

  Piroi, F., Jebelean, T., Rosenkranz, C. & Buchberger, B., 2007, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria: RISC, 18 p. (RISC Report Series; no. 07-11).

  Research output: Working paper and reports › Preprint

• Towards Practical Reflection for Formal Mathematics

  Buchberger, B. & Giese, M., 2007, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria: RISC, 12 p. (RISC Report Series; no. 07-05).

  Research output: Working paper and reports › Preprint

• Towards Practical Reflection for Formal Mathematics, extended abstract. In Proceedings of Austria-Japan Workshop on Symbolic Computation and Software Verification

  Buchberger, B. & Giese, M., Jul 2007, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria: RISC, 5 p. (RISC Report Series; no. 07-09).

  Research output: Working paper and reports › Preprint

• 2005

  Predicate Logic with Sequence Variables and Sequence Function Symbols

  Buchberger, B. & Kutsia, T., 2005, Univ. of Linz, Austria: RISC, (RISC Report Series; no. 05-17).

  Research output: Working paper and reports › Preprint

• 2004

  Algorithm Synthesis Case Studies: Sorting of Tuples by Lazy Thinking

  Buchberger, B. & Craciun, A., Oct 2004, University of Linz, Austria: RISC, (RISC Report Series; no. 04-16).

  Research output: Working paper and reports › Preprint

• Label Management in Mathematical Theories

  Buchberger, B. & Piroi, F., Nov 2004, Johannes Kepler University, 4040 Linz: RICAM, (RICAM-Report; no. 2004--16).

  Research output: Working paper and reports › Preprint

• Preprocessed Lazy Thinking: Synthesis of Sorting Algorithms

  Buchberger, B. & Craciun, A., Oct 2004, University of Linz, Austria: RISC, (RISC Report Series; no. 04-17).

  Research output: Working paper and reports › Preprint

• 1998

  Combining Provers in the Theorema System

  Buchberger, B. & Tomuta, E., 1998, Hagenberg: RISC JKU, 14 p. (RISC Report Series; no. 98-02).

  Research output: Working paper and reports › Preprint

• Numerical and Symbolic Scientific Computation

  Buchberger, B. & Langer, U., 1998, Hagenberg: RISC JKU, 7 p. (RISC Report Series; no. 98-04).

  Research output: Working paper and reports › Preprint

• The 2nd International Theorema Workshop

  Buchberger, B. & Jebelean, T., 1998, (RISC Report Series; no. 98-10).

  Research output: Working paper and reports › Preprint

• 1997

  A Survey of the Theorema Project

  Buchberger, B., Dupre, D., Jebelean, T., Kriftner, F., Marin, M. & Tomuta, E., 1997, (RISC Report Series; no. 97-15).

  Research output: Working paper and reports › Preprint

• The First International Theorema Workshop

  Buchberger, B. & Dupre, D., 1997, (RISC Report Series; no. 97-20).

  Research output: Working paper and reports › Preprint

• Theorema: A System for Formal Scientific Training in Natural Language Presentation

  Buchberger, B., Dupre, D. & Jebelean, T., 1997, Österreich: SFB-Report, 6 p. (RISC Report Series; no. 97-34).

  Research output: Working paper and reports › Preprint