Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bruno Buchberger
2010 – today
- 2012
[j13]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)- [i1]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)
- 2011
- [j12]
- 2010
- [j11]
- [c37]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
2000 – 2009
- 2009
- [j10]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)
- [c36]Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger: A Symbolic Framework for Operations on Linear Boundary Problems. CASC 2009: 269-283
- 2007
- [c35]Bruno Buchberger: Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. SYNASC 2007: 11-12
- 2006
- [j9]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)
- [j8]Bruno Buchberger: Comments on the translation of my PhD thesis. J. Symb. Comput. 41(3-4): 471-474 (2006)
- [j7]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)
- [c34]
- [c33]
- [c32]Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz: Theorema. The Seventeen Provers of the World 2006: 96-107
- [e7]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
- [e6]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
- 2005
- [c31]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
- [c30]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
- [c29]
- 2004
- [j6]Bruno Buchberger, Adrian Craciun: Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. Electr. Notes Theor. Comput. Sci. 93: 24-59 (2004)
- [c28]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
- [c27]Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142
- [c26]Bruno Buchberger: Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. AISC 2004: 236-250
- [c25]Temur Kutsia, Bruno Buchberger: Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219
- [e5]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
- 2003
- [j5]Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel: Preface. Ann. Math. Artif. Intell. 38(1-3): 1-2 (2003)
- [c24]Bruno Buchberger: Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). CSL 2003: 98-99
- [e4]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
- 2002
- [c23]Florina Piroi, Bruno Buchberger: Focus Windows: A New Technique for Proof Presentation. AISC 2002: 337-342
- 2001
- [c22]
- [c21]
- [e3]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
1990 – 1999
- 1999
- [j4]Bruno Buchberger: Theory exploration versus theorem proving. Electr. Notes Theor. Comput. Sci. 23(3): 386 (1999)
- 1997
- [c20]Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391
- [c19]Bruno Buchberger: Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). LPNMR 1997: 220-221
- 1996
- [c18]
- 1995
- [c17]
- [c16]Bruno Buchberger: Symbolic Computation Software Systems: The Current State of Technology. EUROSIM 1995: 85-94
- 1994
- [e2]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
- 1993
- [c15]Bruno Buchberger: Mathematica: A System for Doing Mathematics by Computer? (Abstract). DISCO 1993: 1
- 1992
- [c14]
- 1991
- [c13]Bruno Buchberger: Gröbner Bases in Mathematica: Enthusiasm and Frustration. Programming Environments for High-Level Scientific Problem Solving 1991: 119-132
- 1990
- [j3]Erich Kaltofen, Bruno Buchberger: Special Issue Computational Algebraic Complexity Editorial. J. Symb. Comput. 9(3): 225-228 (1990)
1980 – 1989
- 1988
- [c12]Bruno Buchberger: Algebraic Methods for Non-Linear Computational Geometry (Invited Address). Symposium on Computational Geometry 1988: 81-82
- 1987
- [j2]Bruno Buchberger: History and Basic Features of the Critical-Pair/Completion Procedure. J. Symb. Comput. 3(1/2): 3-38 (1987)
- [c11]Bruno Buchberger: Applications of Gröbner Bases in Non-linear Computational Geometry. Trends in Computer Algebra 1987: 52-80
- 1985
- [j1]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)
- [c10]Bruno Buchberger: The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. AAECC 1985: 333-347
- [c9]Bruno Buchberger: The Parallel L-Machine for Symbolic Computation. European Conference on Computer Algebra (2) 1985: 541-542
- [c8]
- [c7]Bruno Buchberger: Basic Features and Development of the Critical-Pair/Completion Procedure. RTA 1985: 1-45
- [e1]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
- 1983
- [c6]
- [c5]Bruno Buchberger: A critical-pair/completion algorithm for finitely generated ideals in rings. Logic and Machines 1983: 137-161
- 1982
- [c4]H. Michael Möller, Bruno Buchberger: The Construction of Multivariate Polynomials with Preassigned Zeros. EUROCAM 1982: 24-31
- [c3]
- 1980
- [b1]Bruno Buchberger, Franz Lichtenberger: Mathematik für Informatiker I: Die Methode der Mathematik. Informatik-Fachberichte 35, Springer 1980, ISBN 3-540-10417-8
1970 – 1979
- 1979
- [c2]Bruno Buchberger: A criterion for detecting unnecessary reductions in the construction of Groebner bases. EUROSAM 1979: 3-21
- 1972
- [c1]Bruno Buchberger: Certain decompositions of Gödel numbering and the semantics of programming languages. International Sympoisum on Theoretical Programming 1972: 152-171
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team