Bruno Buchberger

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

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

Stam's Identities Collection: A Case Study for Math Knowledge Bases

Buchberger, B., 2016, Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Gert-Martin Greuel, Thorsten Koch, Peter Paule and Andrew Sommese (ed.). Cham: Springer International Publishing, p. 437-442 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

The GDML and EuKIM Projects: Short Report on the Initiative

Buchberger, B., 2016, Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Gert-Martin Greuel, Thorsten Koch, Peter Paule and Andrew Sommese (ed.). Cham: Springer International Publishing, p. 443-446 4 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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

2015

Correct Software in Web Applications and Web Services

Thalheim, B. (Editor), Schewe, K.-D. (Editor), Prinz, A. (Editor) & Buchberger, B. (Editor), 2015

Research output: Book › Anthology

Evaluation Report for University of Prishtina about Computer Science (Master and Financial Mathematics in Banks and Insurances (Bachelor)

Buchberger, B., Jun 2015, 120 p.

Research output: Other contribution

Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

Rosenkranz, M., Buchberger, B., Liu, J. & Maletzky, A., 2015, CASC 2015. p. 406-423 17 p. (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

2014

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Maletzky, A. & Buchberger, B., 2014, Mathematical Software - ICMS 2014. Chee Yap and Hoon Hong (ed.). Vol. 8592. p. 41-48 8 p. (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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

Groebner Bases in Theorema

Buchberger, B. & Maletzky, A., 2014, Mathematical Software - ICMS 2014. Chee Yap and Hoon Hong (ed.). Springer Berlin Heidelberg, Vol. 8592. p. 374-381 8 p. (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › 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

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

Rosenkranz, M., Regensburger, G., Tec, L. & Buchberger, B., 2011, Numerical and Symbolic Scientific Computing - Progress and Prospects. U. Langer and P. Paule (ed.). Wien: Springer Wien, 54 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

2010

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra

Tec, L., Regensburger, G., Rosenkranz, M. & Buchberger, B., 2010, Mathematical Software - ICMS 2010. Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama (ed.). LNCS, 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

From Program Verification to Automated Debugging

Popov, N., Jebelean, T. & Buchberger, B., Jul 2010, Workshop on Symbolic Computation in Software Science. T. Jebelean, M. Mosbah, N. Popov (ed.). Altenberger Str. 69, 4040 Linz, Austria: JKU Linz, p. 55-65 11 p. (RISC Report Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Groebner Bases

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

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

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

Algorithms in Symbolic Computation

Paule, P., Buchberger, B., Kartaschova, E., Kauers, M., Schneider, C. & Winkler, F., 2009, Hagenberg Research. Bruno Buchberger et al. (ed.). Springer, p. 5-62 58 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

A Symbolic Framework for Operations on Linear Boundary Problems

Rosenkranz, M., Regensburger, G., Tec, L. & Buchberger, B., Sept 2009, Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing. Gerdt, Vladimir P.; Mayr, Ernst W.; Vorozhtsov, Evgenii H. (ed.). Springer Verlag, Vol. 5743. p. 269-283 15 p. (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Automated Reasoning

Jebelean, T., Buchberger, B., Kutsia, T., Popov, N., Schreiner, W. & Windsteiger, W., 2009, Hagenberg Research. Buchberger, B.; Affenzeller, M.; Ferscha, A.; Haller, M.; Jebelean, T.; Klement, E.P.; Paule, P.; Po (ed.). Springer Dordrecht Heidelberg London New York, p. 63-101 39 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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

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

Hagenberg Research

Buchberger, B., Affenzeller, M., Ferscha, A., Haller, M., Jebelean, T., Klement, E., Paule, P., Pomberger, G., Schreiner, W., Stubenrauch, R., Wagner, R., Weiss, G. & Windsteiger, W., 2009, 1 ed. Springer Dordrecht Heidelberg London New York: Springer Dordrecht Heidelberg London New York. 488 p.

Research output: Book › Monograph

Hagenberg Research

Buchberger, B., Affenzeller, M., Ferscha, A., Haller, M., Jebelean, T., Klement, E., Paule, P., Pomberger, G., Schreiner, W., Stubenrauch, R., Wagner, R., Weiß, G. & Windsteiger, W., 2009, Berlin: Springer. 489 p.

Research output: Book › Monograph

Hagenberg Research

Buchberger, B. (Editor), Affenzeller, M. (Editor), Ferscha, A. (Editor), Haller, M. (Editor), Jebelean, T. (Editor), Klement, E. (Editor), Paule, P. (Editor), Pomberger, G. (Editor), Schreiner, W. (Editor), Stubenrauch, R. (Editor), Wagner, R. (Editor), Weiss, G. (Editor) & Windsteiger, W. (Editor), 2009, Berlin/Heidelberg: Springer.

Research output: Book › Anthology

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

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

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

2006

Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness

Robu, J., Buchberger, B., Takahashi, H., Ida, T. & Tepeneu, D., 2006, Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry. Hoon Hong and Dongming Wang (ed.). Springer Berlin / Heidelberg, Vol. 3763. p. 19-33 15 p. (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Theorema

Windsteiger, W., Buchberger, B. & Rosenkranz, M., 2006, The Seventeen Provers of the World. Freek Wiedijk (ed.). Springer Berlin Heidelberg New York, Vol. 3600. p. 96 - 107 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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

2005

Ein Dank an meine Schule

Buchberger, B., Jun 2005, 3 p. A6020 Innsbruck, Angerzellgasse 14, Austria. : Akademisches Gymnasium Innsbruck.

Research output: Other contribution

Label Management in Theorema

Buchberger, B. & Piroi, F., Jul 2005, Informal proceedings of the 4th International Conference on Mathematical Knowledge Management.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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

Theorema

Windsteiger, W., Rosenkranz, M. & Buchberger, B., 2005, The Seventeen Provers of the World. Freek Wiedijk (ed.). Springer Berlin Heidelberg New York, Vol. 3600. (Lecture Notes in Artificial Intelligence (LNAI)).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

2004

Algorithm Supported Mathematical Theory Exploration: A Personal View and Stragegy

Buchberger, B., Sept 2004, Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation). B. Buchberger, John Campbell (ed.). Copyright: Springer, Berlin-Heidelberg, Vol. 3249. p. 236-250 14 p. (Lecture Notes in Artificial Intelligence (LNAI)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

Craciun, A. & Buchberger, B., Feb 2004, Electronic Notes in Theoretical Computer Science. Fairouz Kamareddine (ed.). Vol. 93. p. 24-39 15 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Bruno Buchberger

Research output

Search results