Bruno Buchberger

Publication Activity (10 Years)

Years Active: 1970-2023
Publications (10 Years): 15

Top Topics

Computer Algebra

Automated Deduction

Top Venues

Ann. Math. Artif. Intell.

Publications

Bruno Buchberger
Automated programming, symbolic computation, machine learning: my personal view. Ann. Math. Artif. Intell. 91 (5) (2023)
Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
Correction to: Preface. Ann. Math. Artif. Intell. 91 (5) (2023)
Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
Preface. Ann. Math. Artif. Intell. 91 (5) (2023)
Bruno Buchberger
Vladimir Gerdt: A Computer Algebra Enthusiast. Math. Comput. Sci. 16 (4) (2022)
Bruno Buchberger
Symbolic Computation in Software Science: My Personal View. SCSS (2021)
Bruno Buchberger
Gröbner Bases Computation and Macaulay Matrices. SYNASC (2017)
Bruno Buchberger
The GDML and EuKIM Projects: Short Report on the Initiative. ICMS (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking and Symbolic Computation. CoRR (2016)
Bruno Buchberger
Stam's Identities Collection: A Case Study for Math Knowledge Bases. ICMS (2016)
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9 (1) (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50 (4) (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM (2016)
Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia
Special issue on symbolic computation in software science. J. Symb. Comput. 69 (2015)
Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. CASC (2015)
Bruno Buchberger, Alexander Maletzky
Groebner Bases in Theorema. ICMS (2014)
Alexander Maletzky, Bruno Buchberger
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. ICMS (2014)
Bruno Buchberger
Soft Math Math Soft. ICMS (2014)
Bruno Buchberger
Mathematics of 21st Century: A Personal View. SCSS (2013)
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases CoRR (2012)
Bruno Buchberger, Markus Rosenkranz
Transforming problems from analysis to algebra: A case study in linear boundary problems. J. Symb. Comput. 47 (6) (2012)
Bruno Buchberger, Manuel Kauers
Buchberger's algorithm. Scholarpedia 6 (10) (2011)
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)
Bruno Buchberger, Manuel Kauers
Groebner basis. Scholarpedia 5 (10) (2010)
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
A Symbolic Framework for Operations on Linear Boundary Problems. CASC (2009)
Róbert Vajda, Tudor Jebelean, Bruno Buchberger
Combining logical and algebraic techniques for natural style proving in elementary analysis. Math. Comput. Simul. 79 (8) (2009)
Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra 42 (3) (2008)
Bruno Buchberger
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. SYNASC (2007)
Bruno Buchberger
Mathematical Theory Exploration. SYNASC (2006)
Bruno Buchberger
Mathematical Theory Exploration. IJCAR (2006)
Bruno Buchberger
Comments on the translation of my PhD thesis. J. Symb. Comput. 41 (3-4) (2006)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (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) (2006)
Bruno Buchberger
A view on the future of symbolic computation. ISSAC (2005)
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)
Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
Proving and Constraint Solving in Computational Origami. AISC (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)
Bruno Buchberger
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. AISC (2004)
Bruno Buchberger, Adrian Craciun
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. Electron. Notes Theor. Comput. Sci. 93 (2004)
Temur Kutsia, Bruno Buchberger
Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM (2004)
Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel
Preface. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Bruno Buchberger
Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). CSL (2003)
Bruno Buchberger
Computer algebra: the end of mathematics? SIGSAM Bull. 36 (1) (2002)
Florina Piroi, Bruno Buchberger
Focus Windows: A New Technique for Proof Presentation. AISC (2002)
Bruno Buchberger
Gröbner Bases: A Short Introduction for Systems Theorists. EUROCAST (2001)
Bruno Buchberger
The PCS Prover in THEOREMA. EUROCAST (2001)
Bruno Buchberger
Gröbner Bases and Systems Theory. Multidimens. Syst. Signal Process. 12 (3-4) (2001)
Bruno Buchberger
Theory exploration versus theorem proving. Calculemus (1999)
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
A Survey of the Theorema Project. ISSAC (1997)
Bruno Buchberger
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). LPNMR (1997)
Bruno Buchberger
Symbolic Computation: Computer Algebra and Logic. FroCoS (1996)
Bruno Buchberger
What Is Symbolic Computation? CP (1995)
Ignacy Duleba, Witold Jacak, Robert Muszynski, Bruno Buchberger
Symbolic computation-based synthesis of neural network dynamics and controller for robots. ICNN (1995)
Bruno Buchberger
Symbolic Computation Software Systems: The Current State of Technology. EUROSIM (1995)
Bruno Buchberger
Mathematica: A System for Doing Mathematics by Computer? (Abstract). DISCO (1993)
Bruno Buchberger
Gröbner Bases: An Introduction. ICALP (1992)
Bruno Buchberger
Gröbner Bases in Mathematica: Enthusiasm and Frustration. Programming Environments for High-Level Scientific Problem Solving (1991)
Bruno Buchberger
Should Students Learn Integration Rules? SIGSAM Bull. 24 (1) (1990)
Erich Kaltofen, Bruno Buchberger
Special Issue Computational Algebraic Complexity Editorial. J. Symb. Comput. 9 (3) (1990)
Bruno Buchberger
Algebraic Methods for Non-Linear Computational Geometry (Invited Address). SCG (1988)
Bruno Buchberger
Applications of Gröbner Bases in Non-linear Computational Geometry. Trends in Computer Algebra (1987)
Bruno Buchberger
History and Basic Features of the Critical-Pair/Completion Procedure. J. Symb. Comput. 3 (1/2) (1987)
Wolfgang Bibel, Bruno Buchberger
Towards a connection machine for logical inference. Future Gener. Comput. Syst. 1 (3) (1985)
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) (1985)
Bruno Buchberger
Basic Features and Development of the Critical-Pair/Completion Procedure. RTA (1985)
Bruno Buchberger
CAMP: a teaching project in symbolic computation at the University of Linz. ACM Commun. Comput. Algebra (4-1) (1985)
Peter Hintenaus, Bruno Buchberger
The L-Language for the Parallel L-Machine. ÖGAI (1985)
Bruno Buchberger
The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. AAECC (1985)
Bruno Buchberger
The Parallel L-Machine for Symbolic Computation. European Conference on Computer Algebra (2) (1985)
Bruno Buchberger
Algorithms: R Sedgewick Addison-Wesley, Reading, MA, USA (1983) £13.95 pp 551. Microprocess. Microsystems 8 (10) (1984)
S. Kamal Abdali, Bruno Buchberger
Abstracts. SIGSAM Bull. 18 (1) (1984)
Bruno Buchberger
A note on the complexity of constructing Gröbner-Bases. EUROCAL (1983)
Franz Winkler, Bruno Buchberger
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. SIGSAM Bull. 17 (3-4) (1983)
Bruno Buchberger
A critical-pair/completion algorithm for finitely generated ideals in rings. Logic and Machines (1983)
Bruno Buchberger
Computer-unterstützter Algorithmenentwurf. KIFS (1982)
Bruno Buchberger, George E. Collins, Rüdiger Loos, R. Albrecht
Computer algebra symbolic and algebraic computation. SIGSAM Bull. 16 (4) (1982)
H. Michael Möller, Bruno Buchberger
The Construction of Multivariate Polynomials with Preassigned Zeros. EUROCAM (1982)
Leo Bachmair, Bruno Buchberger
A simplified proof of the characterization theorem for Gröbner-bases. SIGSAM Bull. 14 (4) (1980)
Bruno Buchberger
A criterion for detecting unnecessary reductions in the construction of Groebner bases. EUROSAM (1979)
Bruno Buchberger, J. Fegerl, Franz Lichtenberger
Computer trees: a concept for parallel processing. Microprocess. Microsystems 3 (6) (1979)
Christoph Kollreider, Bruno Buchberger
An improved algorithmic construction of Gröbner-bases for polynomial ideals. SIGSAM Bull. 12 (2) (1978)
Bruno Buchberger
A theoretical basis for the reduction of polynomials to canonical forms. SIGSAM Bull. 10 (3) (1976)
Bruno Buchberger
Some properties of Gröbner-bases for polynomial ideals. SIGSAM Bull. 10 (4) (1976)
Bruno Buchberger
Certain decompositions of Gödel numbering and the semantics of programming languages. International Sympoisum on Theoretical Programming (1972)
Bruno Buchberger
für das Optimum-Mix-Problem. Z. Oper. Research 16 (3) (1972)
R. Albrecht, Bruno Buchberger
Algorithmus 13 Lösung eines Optimum-Mix-Problemes. Computing 5 (3) (1970)