Bruno Buchberger

Search results

• 2016

  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
• 2015

  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

• 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

• 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

• 2009

  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

• 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

• 2005

  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

• 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

• Algorithm Synthesis by Lazy Thinking: Using Problem Schemes

  Craciun, A. & Buchberger, B., Sept 2004, 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.). Timisoara, Romania: Copyright: Mirton Publisher, p. 90-106 16 p.

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

• An Environment for Building Mathematical Knowledge Libraries

  Buchberger, B. & Piroi, F., Jul 2004, Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR). Wolfgang Windsteiger and Christoph Benzmueller (ed.). Cork, Ireland, p. 19-29 11 p.

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

• Computational Origami: Interaction of Solving, Proving and Computing

  Buchberger, B. & Ida, T., Mar 2004, Proceedings of World Conference on 21st Century Mathematics. Lahore, Pakistan

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

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

  Robu, J., Tepeneu, D., Ida, T., Takahashi, H. & Buchberger, B., 2004, Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry). 15 p.

  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., Sept 2004, Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04. Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec (ed.). Bialowieza, Poland: Springer Verlag, Vol. 3119. p. 205-219 15 p. (Lecture Notes in Computer Science (LNCS)).

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

• Proving and Constraint Solving in Computational Origami

  Ida, T., Robu, J., Buchberger, B. & Tepeneu, D., Sept 2004, Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation). B. Buchberger and John Campbell (ed.). Copyright: Springer-Berlin, Vol. 3249. p. 132-142 10 p. (Lecture Notes in Artificial Intelligence (LNAI)).

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

• 2003

  Algorithm Invention and Verification by Lazy Thinking

  Buchberger, B., 2003, Proceedings of SYNASC 2004 (Symbolic and Numeric Algorithms for Scientific Computing). D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.). p. 2 - 26 25 p.

  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., 2003, Proceedings of the MKM 03 Symposium, Heriot-Watt University, Edingburgh 25-29 November 2003, ENTCS volume dedicated to teh MKM 03 Symposium. Elsevier, 15 p.

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

• Functional Program Verification with Theorema

  Buchberger, B. & Craciun, A., Feb 2003, Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach - VACIS03.

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

• Mathematical Knowledge Management

  Asperti, A., Buchberger, B. & Davenport, J., Mar 2003, Proceedings of the 2nd International Conference on Mathematical Knowledge Management, Berinoro, Italy. Springer, Berlin-Heidelberg, Vol. 2594. 223 p. (Lecture Notes in Computer Science (LNCS)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings
• 2002

  Focus Windows: A New Technique for Proof Presentation

  Buchberger, B. & Piroi, F., Jul 2002, Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 Conference. Springer Verlag, Vol. 2385. p. 290-304 15 p. (Lecture Notes in Computer Science (LNCS)).

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

• Proving the correctness of the merge-sort algorithm with theorema.

  Buchberger, B. & Craciun, A., Oct 2002, Symbolic and Numeric Algorithms for Scientific Computing, Proceedings of the SYNASC02 Workshop. p. 97-111 304 p.

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

• Solving linear boundary value problems via non-commutative groebner bases

  Buchberger, B. & Rosenkranz, M., Oct 2002, Fourth International SYNASC Workshop. Proceedings of the SYNASC02 Workshop. Proceedings of the SYNASCO2 workshop, p. 300-313 14 p.

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

• 2001

  Gröbner Bases: A Short Introduction for Systems Theorists

  Moreno-Diaz, R. & Buchberger, B., Feb 2001, Computer Aided Systems Theory - EUROCAST 2001. A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers. Vol. 2178. p. 1-19 20 p. (Lecture Notes in Computer Science (LNCS)).

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

• Groebner Bases: A Short Introduction for Systems Theorists

  Buchberger, B., Feb 2001, Proceedings of EUROCAST 2001. 19 p. (Lecture Notes in Computer Science (LNCS)).

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

• Groebner Bases and Systems Theory

  Buchberger, B., Feb 2001, Proceedings of EUROCAST 2001. 21 p.

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

• Groebner Rings and Modules

  Buchberger, B., Mar 2001, Proceedings of International Conference on Computational Methods in Algebraic Geometry. 10 p.

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

• Groebner Rings and Modules

  Buchberger, B., Oct 2001, Proceedings of SYNASC. 10 p.

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

• Logicographic Symbols: A New Feature in theorema

  Buchberger, B., Jun 2001, Proceedings of the 4th International Mathematica Symposium. 8 p.

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

• Mathematics and Computer Science - A personal View, "An. Mat. Univ. Timisoara"

  Buchberger, B., Jebelean, T. & Negru, V., Mar 2001, Proceedings of the Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing. 16 p.

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

• Presenting Proofs Using Logicographic Symbols

  Nakagawa, K. & Buchberger, B., Mar 2001, Proceedings of the Workshop in Proof Transformation and Presentation. 11 p.

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

• Theorema: Automated Theorem Proving for the Practice

  Buchberger, B., Jan 2001, Applied Informatics Conference. 10 p.

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

• Theorema: Extending Mathematica by Automated Proving

  Buchberger, B., Sept 2001, Proceedings of PrimMath 2001. D. Ungar (ed.). p. 10-11 2 p.

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

• Theorema: Formale Mathematik

  Buchberger, B., Mar 2001, Mathematik-Vortragsreihe. 10 p.

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

• The PCS Method within Theorema

  Buchberger, B., Feb 2001, Proceedings of EUROCAST 2001. 10 p.

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

• The PCS Prover in Theorema

  Buchberger, B., Feb 2001, Proceedings of EUROCAST 2001. 9 p. (Lecture Notes in Computer Science (LNCS)).

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

• Two Tools for Mathematical Knowledge Management in Theorema

  Nakagawa, K. & Buchberger, B., Sept 2001, Workshop in Mathematical Knowledge Management 2001. B. Buchberger and O. Caprotti (ed.). 10 p.

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

• 2000

  Computer Algebra: Das Ende der Mathematik?

  Buchberger, B., Feb 2000, Mitteilungen der Deutschen Mathematikervereinigung. 10 p. (DMV-Mitteilungen).

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

• Logicographic symbols: A new concept in logic syntax

  Buchberger, B. & Nakagawa, K., Dec 2000, Proceedings of th INTAS Conference on Rewriting Techniques and Efficient Theorem Proving. 10 p.

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

• Theorema Proving for and with Gröbner Bases

  Buchberger, B., Dec 2000, Proceedings of the Second International Workshop on Multidimensional Systems. K. Glakowski and E. Rogers (ed.). 8 p.

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

• Theory exploration with theorema

  Buchberger, B., Dec 2000, Proceedings of the Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing. T. Jebeleoan and V. Negru (ed.). 24 p.

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

• The theorema project: A Progress report

  Buchberger, B., Dupre, C., Jebelean, T., Kriftner, K., Nakagawa, K., Vasaru, D. & Windsteiger, W., Dec 2000, Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. 16 p.

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

• The theorema system: Current status and the proving-solving-computing cycle

  Buchberger, B., Vasaru, D. & Jebelean, T., Jun 2000, Proceeding of RTETP 2000 (Rewriting Techniques and Efficient Theorem Proving). 10 p.

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

• Using meta-variables for natural deduction in theorema

  Jebelean, T. & Buchberger, B., Dec 2000, Proceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. 16 p.

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

• 1999

  Distance Teaching of Mathematics Using Theorema

  Buchberger, B. & Jebelean, T., Apr 1999, Proceedings of the 3rd Technion Symposium on "Software for Communication". H. Gutmann (ed.). 8 p.

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

• Theory exploration versus theorem proving

  Buchberger, B., Dec 1999, Proceedings of the Calculemus 1999 Workshop. A. Armando and t. Jebelean (ed.). elsevier, Vol. 23. 24 p. (Electronic Notes in Theoretical Computer Science).

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

• 1998

  A System for Formal Scientific Training in Natural Language Presentation

  Buchberger, B., Dupre, D. & Jebelean, T., Jun 1998, Proceedings of ED-Media 98 (International Conference on Educational Multimedia). 5 p.

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

• Combining Provers in the Theorema System

  Buchberger, B. & Tomuta, E., Dec 1998, Proceedings of the Sixth Rhine Workshop on computer Algebra. 14 p.

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