Bruno Buchberger

Bruno Buchberger, Markus Rosenkranz: Transforming problems from analysis to algebra: A case study in linear boundary problems. J. Symb. Comput. 47(6): 589-609 (2012)

Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger: Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases. CoRR abs/1210.2950 (2012)

Bruno Buchberger, Manuel Kauers: Buchberger's algorithm. Scholarpedia 6(10): 7764 (2011)

Bruno Buchberger, Manuel Kauers: Groebner basis. Scholarpedia 5(10): 7763 (2010)

Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger: An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS 2010: 245-248

Robert Vajda, Tudor Jebelean, Bruno Buchberger: Combining logical and algebraic techniques for natural style proving in elementary analysis. Mathematics and Computers in Simulation 79(8): 2310-2316 (2009)

Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger: A Symbolic Framework for Operations on Linear Boundary Problems. CASC 2009: 269-283

Bruno Buchberger: Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. SYNASC 2007: 11-12

Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)

Bruno Buchberger: Comments on the translation of my PhD thesis. J. Symb. Comput. 41(3-4): 471-474 (2006)

Bruno Buchberger: Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3-4): 475-511 (2006)

Bruno Buchberger: Mathematical Theory Exploration. IJCAR 2006: 1-2

Bruno Buchberger: Mathematical Theory Exploration. SYNASC 2006: 3-4

Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz: Theorema. The Seventeen Provers of the World 2006: 96-107

Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (Eds.): Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, Joël Quinqueton (Eds.): 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania. IEEE Computer Society 2006, isbn 0-7695-2740-X

Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump: 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005

Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump: 05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005

Bruno Buchberger: A view on the future of symbolic computation. ISSAC 2005: 1

Bruno Buchberger, Adrian Craciun: Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. Electr. Notes Theor. Comput. Sci. 93: 24-59 (2004)

Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger: Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. Automated Deduction in Geometry 2004: 19-33

Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142

Bruno Buchberger: Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. AISC 2004: 236-250

Temur Kutsia, Bruno Buchberger: Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219

Bruno Buchberger, John A. Campbell (Eds.): Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings. Lecture Notes in Computer Science 3249, Springer 2004, isbn 3-540-23212-5

Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel: Preface. Ann. Math. Artif. Intell. 38(1-3): 1-2 (2003)

Bruno Buchberger: Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). CSL 2003: 98-99

Andrea Asperti, Bruno Buchberger, James H. Davenport (Eds.): Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2594, Springer 2003, isbn 3-540-00568-4

Florina Piroi, Bruno Buchberger: Focus Windows: A New Technique for Proof Presentation. AISC 2002: 337-342

Bruno Buchberger: Gröbner Bases: A Short Introduction for Systems Theorists. EUROCAST 2001: 1-19

Bruno Buchberger: The PCS Prover in THEOREMA. EUROCAST 2001: 469-478

Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (Eds.): Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers. Lecture Notes in Computer Science 2178, Springer 2001, isbn 3-540-42959-X

Bruno Buchberger: Theory exploration versus theorem proving. Electr. Notes Theor. Comput. Sci. 23(3): 386 (1999)

Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391

Bruno Buchberger: Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). LPNMR 1997: 220-221

Bruno Buchberger: Symbolic Computation: Computer Algebra and Logic. FroCoS 1996: 193-219

Bruno Buchberger: What Is Symbolic Computation? CP 1995: 563

Bruno Buchberger: Symbolic Computation Software Systems: The Current State of Technology. EUROSIM 1995: 85-94

Bruno Buchberger, Jens Volkert (Eds.): Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings. Lecture Notes in Computer Science 854, Springer 1994, isbn 3-540-58430-7

Bruno Buchberger: Mathematica: A System for Doing Mathematics by Computer? (Abstract). DISCO 1993: 1

Bruno Buchberger: Gröbner Bases: An Introduction. ICALP 1992: 378-379

Bruno Buchberger: Gröbner Bases in Mathematica: Enthusiasm and Frustration. Programming Environments for High-Level Scientific Problem Solving 1991: 119-132

Erich Kaltofen, Bruno Buchberger: Special Issue Computational Algebraic Complexity Editorial. J. Symb. Comput. 9(3): 225-228 (1990)

Bruno Buchberger: Algebraic Methods for Non-Linear Computational Geometry (Invited Address). Symposium on Computational Geometry 1988: 81-82

Bruno Buchberger: History and Basic Features of the Critical-Pair/Completion Procedure. J. Symb. Comput. 3(1/2): 3-38 (1987)

Bruno Buchberger: Applications of Gröbner Bases in Non-linear Computational Geometry. Trends in Computer Algebra 1987: 52-80

Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek: Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Trans. Math. Softw. 11(1): 66-78 (1985)

Bruno Buchberger: The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. AAECC 1985: 333-347

Bruno Buchberger: The Parallel L-Machine for Symbolic Computation. European Conference on Computer Algebra (2) 1985: 541-542

Peter Hintenaus, Bruno Buchberger: The L-Language for the Parallel L-Machine. ÖGAI 1985: 120-131

Bruno Buchberger: Basic Features and Development of the Critical-Pair/Completion Procedure. RTA 1985: 1-45

Bruno Buchberger (Ed.): EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures. Lecture Notes in Computer Science 203, Springer 1985, isbn 3-540-15983-5

Bruno Buchberger: A note on the complexity of constructing Gröbner-Bases. EUROCAL 1983: 137-145

Bruno Buchberger: A critical-pair/completion algorithm for finitely generated ideals in rings. Logic and Machines 1983: 137-161

H. Michael Möller, Bruno Buchberger: The Construction of Multivariate Polynomials with Preassigned Zeros. EUROCAM 1982: 24-31

Bruno Buchberger: Computer-unterstützter Algorithmenentwurf. KIFS 1982: 141-201

Bruno Buchberger, Franz Lichtenberger: Mathematik für Informatiker I: Die Methode der Mathematik. Informatik-Fachberichte 35, Springer 1980, isbn 3-540-10417-8

Bruno Buchberger: A criterion for detecting unnecessary reductions in the construction of Groebner bases. EUROSAM 1979: 3-21

Bruno Buchberger: Certain decompositions of Gödel numbering and the semantics of programming languages. International Sympoisum on Theoretical Programming 1972: 152-171