Bruno Buchberger

104 papers A* 1A 2B 6C 1Misc 9Journal 38Unranked 33

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Automated programming, symbolic computation, machine learning: my personal view. Ann. Math. Artif. Intell. Bruno Buchberger
2023	J	`jnl`	Correction to: Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2023	J	`jnl`	Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2022	Misc	`ed.`	24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022 SYNASC Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie
2022	J	`jnl`	Vladimir Gerdt: A Computer Algebra Enthusiast. Math. Comput. Sci. Bruno Buchberger
2021	—	`conf`	Symbolic Computation in Software Science: My Personal View. SCSS Bruno Buchberger
2017	Misc	`conf`	Gröbner Bases Computation and Macaulay Matrices. SYNASC Bruno Buchberger
2016	C	`conf`	SC CICM 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
2016	J	`jnl`	Satisfiability Checking and Symbolic Computation. CoRR 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
2016	J	`jnl`	Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR 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
2016	J	`jnl`	Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 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
2016	—	`conf`	Stam's Identities Collection: A Case Study for Math Knowledge Bases. ICMS Bruno Buchberger
2016	—	`conf`	The GDML and EuKIM Projects: Short Report on the Initiative. ICMS Bruno Buchberger
2016	J	`jnl`	Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
2015	—	`book`	Correct Software in Web Applications and Web Services Correct Software in Web Applications and Web Services Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
2015	J	`jnl`	Special issue on symbolic computation in software science. J. Symb. Comput. Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia
2015	B	`conf`	Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. CASC Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger
2014	—	`conf`	Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. ICMS Alexander Maletzky, Bruno Buchberger
2014	—	`conf`	Groebner Bases in Theorema. ICMS Bruno Buchberger, Alexander Maletzky
2014	—	`conf`	Soft Math Math Soft. ICMS Bruno Buchberger
2013	—	`conf`	Mathematics of 21st Century: A Personal View. SCSS Bruno Buchberger
2012	J	`jnl`	Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases CoRR Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
2012	J	`jnl`	Transforming problems from analysis to algebra: A case study in linear boundary problems. J. Symb. Comput. Bruno Buchberger, Markus Rosenkranz
2011	J	`jnl`	Buchberger's algorithm. Scholarpedia Bruno Buchberger, Manuel Kauers
2010	—	`conf`	An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger
2010	J	`jnl`	Groebner basis. Scholarpedia Bruno Buchberger, Manuel Kauers
2009	B	`conf`	A Symbolic Framework for Operations on Linear Boundary Problems. CASC Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
2009	—	`ch.`	Algorithms in Symbolic Computation. Hagenberg Research Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler
2009	—	`ch.`	Automated Reasoning. Hagenberg Research Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
2009	J	`jnl`	Combining logical and algebraic techniques for natural style proving in elementary analysis. Math. Comput. Simul. Róbert Vajda, Tudor Jebelean, Bruno Buchberger
2009	—	`book`	Hagenberg Research Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich-Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland R. Wagner, Gerhard Weiß, Wolfgang Windsteiger
2009	—	`ch.`	Hagenberg Research: Introduction. Hagenberg Research Bruno Buchberger
2008	J	`jnl`	General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec
2007	Misc	`conf`	Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. SYNASC Bruno Buchberger
2006	Misc	`ed.`	8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania SYNASC Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, Joël Quinqueton
2006	—	`ed.`	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 Algebraic and Numerical Algorithms and Computer-assisted Proofs Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2006	J	`jnl`	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. Bruno Buchberger
2006	J	`jnl`	Comments on the translation of my PhD thesis. J. Symb. Comput. Bruno Buchberger
2006	A	`conf`	Mathematical Theory Exploration. IJCAR Bruno Buchberger
2006	Misc	`conf`	Mathematical Theory Exploration. SYNASC Bruno Buchberger
2006	—	`ch.`	Theorema. The Seventeen Provers of the World Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz
2006	J	`jnl`	Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
2005	—	`conf`	05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2005	—	`conf`	05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2005	B	`conf`	A view on the future of symbolic computation. ISSAC Bruno Buchberger
2004	Misc	`conf`	Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. AISC Bruno Buchberger
2004	Misc	`ed.`	Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings AISC Bruno Buchberger, John A. Campbell
2004	—	`conf`	Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. Automated Deduction in Geometry Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
2004	—	`conf`	Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM Temur Kutsia, Bruno Buchberger
2004	Misc	`conf`	Proving and Constraint Solving in Computational Origami. AISC Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
2003	—	`conf`	Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. MKM Symposium Bruno Buchberger, Adrian Craciun
2003	B	`conf`	Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). CSL Bruno Buchberger
2003	—	`ed.`	Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings MKM Andrea Asperti, Bruno Buchberger, James H. Davenport
2003	J	`jnl`	Preface. Ann. Math. Artif. Intell. Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel
2002	J	`jnl`	Computer algebra: the end of mathematics? SIGSAM Bull. Bruno Buchberger
2002	Misc	`conf`	Focus Windows: A New Technique for Proof Presentation. AISC Florina Piroi, Bruno Buchberger
2001	—	`ed.`	Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers EUROCAST Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire
2001	J	`jnl`	Gröbner Bases and Systems Theory. Multidimens. Syst. Signal Process. Bruno Buchberger
2001	—	`conf`	Gröbner Bases: A Short Introduction for Systems Theorists. EUROCAST Bruno Buchberger
2001	—	`conf`	The PCS Prover in THEOREMA. EUROCAST Bruno Buchberger
1999	—	`conf`	Theory exploration versus theorem proving. Calculemus Bruno Buchberger
1997	B	`conf`	A Survey of the Theorema Project. ISSAC Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
1997	B	`conf`	Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). LPNMR Bruno Buchberger
1996	—	`conf`	Symbolic Computation: Computer Algebra and Logic. FroCoS Bruno Buchberger
1995	—	`conf`	Symbolic Computation Software Systems: The Current State of Technology. EUROSIM Bruno Buchberger
1995	—	`conf`	Symbolic computation-based synthesis of neural network dynamics and controller for robots. ICNN Ignacy Duleba, Witold Jacak, Robert Muszynski, Bruno Buchberger
1995	A	`conf`	What Is Symbolic Computation? CP Bruno Buchberger
1994	—	`ed.`	Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings CONPAR Bruno Buchberger, Jens Volkert
1993	—	`conf`	Mathematica: A System for Doing Mathematics by Computer? (Abstract). DISCO Bruno Buchberger
1992	A*	`conf`	Gröbner Bases: An Introduction. ICALP Bruno Buchberger
1991	—	`conf`	Gröbner Bases in Mathematica: Enthusiasm and Frustration. Programming Environments for High-Level Scientific Problem Solving Bruno Buchberger
1990	J	`jnl`	Should Students Learn Integration Rules? SIGSAM Bull. Bruno Buchberger
1990	J	`jnl`	Special Issue Computational Algebraic Complexity Editorial. J. Symb. Comput. Erich L. Kaltofen, Bruno Buchberger
1988	—	`conf`	Algebraic Methods for Non-Linear Computational Geometry (Invited Address). SCG Bruno Buchberger
1987	—	`conf`	Applications of Gröbner Bases in Non-linear Computational Geometry. Trends in Computer Algebra Bruno Buchberger
1987	J	`jnl`	History and Basic Features of the Critical-Pair/Completion Procedure. J. Symb. Comput. Bruno Buchberger
1985	J	`jnl`	Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Trans. Math. Softw. Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek
1985	—	`conf`	Basic Features and Development of the Critical-Pair/Completion Procedure. RTA Bruno Buchberger
1985	J	`jnl`	CAMP: a teaching project in symbolic computation at the University of Linz. ACM Commun. Comput. Algebra Bruno Buchberger
1985	—	`ed.`	EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures EUROCAL Bruno Buchberger
1985	—	`conf`	The L-Language for the Parallel L-Machine. ÖGAI Peter Hintenaus, Bruno Buchberger
1985	—	`conf`	The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. AAECC Bruno Buchberger
1985	—	`conf`	The Parallel L-Machine for Symbolic Computation. European Conference on Computer Algebra (2) Bruno Buchberger
1985	J	`jnl`	Towards a connection machine for logical inference. Future Gener. Comput. Syst. Wolfgang Bibel, Bruno Buchberger
1984	J	`jnl`	Abstracts. SIGSAM Bull. S. Kamal Abdali, Bruno Buchberger
1984	J	`jnl`	Algorithms: R Sedgewick Addison-Wesley, Reading, MA, USA (1983) £13.95 pp 551. Microprocess. Microsystems Bruno Buchberger
1983	J	`jnl`	A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. SIGSAM Bull. Franz Winkler, Bruno Buchberger
1983	—	`conf`	A critical-pair/completion algorithm for finitely generated ideals in rings. Logic and Machines Bruno Buchberger
1983	—	`conf`	A note on the complexity of constructing Gröbner-Bases. EUROCAL Bruno Buchberger
1983	—	`book`	Computer algebra: symbolic and algebraic computation, 2nd Edition. Bruno Buchberger
1982	—	`book`	Computer algebra - symbolic and algebraic computation. Bruno Buchberger
1982	J	`jnl`	Computer algebra symbolic and algebraic computation. SIGSAM Bull. Bruno Buchberger, George E. Collins, Rüdiger Loos, R. Albrecht
1982	—	`conf`	Computer-unterstützter Algorithmenentwurf. KIFS Bruno Buchberger
1982	—	`conf`	The Construction of Multivariate Polynomials with Preassigned Zeros. EUROCAM H. Michael Möller, Bruno Buchberger
1980	J	`jnl`	A simplified proof of the characterization theorem for Gröbner-bases. SIGSAM Bull. Leo Bachmair, Bruno Buchberger
1980	—	`book`	Mathematik für Informatiker I: Die Methode der Mathematik Bruno Buchberger, Franz Lichtenberger
1979	—	`conf`	A criterion for detecting unnecessary reductions in the construction of Groebner bases. EUROSAM Bruno Buchberger
1979	J	`jnl`	Computer trees: a concept for parallel processing. Microprocess. Microsystems Bruno Buchberger, J. Fegerl, Franz Lichtenberger
1978	J	`jnl`	An improved algorithmic construction of Gröbner-bases for polynomial ideals. SIGSAM Bull. Christoph Kollreider, Bruno Buchberger
1976	J	`jnl`	A theoretical basis for the reduction of polynomials to canonical forms. SIGSAM Bull. Bruno Buchberger
1976	J	`jnl`	Some properties of Gröbner-bases for polynomial ideals. SIGSAM Bull. Bruno Buchberger
1972	J	`jnl`	Bemerkung zu den Reduzierbarkeitskriterien von Z. Oper. Research Bruno Buchberger
1972	—	`conf`	Certain decompositions of Gödel numbering and the semantics of programming languages. International Sympoisum on Theoretical Programming Bruno Buchberger
1970	J	`jnl`	Algorithmus 13 Lösung eines Optimum-Mix-Problemes. Computing R. Albrecht, Bruno Buchberger