dblp.uni-trier.dewww.uni-trier.de

Bruno Buchberger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
51EEBruno Buchberger: Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. SYNASC 2007: 11-12
2006
50 Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
49EEBruno Buchberger: Mathematical Theory Exploration. IJCAR 2006: 1-2
48EEBruno Buchberger: Mathematical Theory Exploration. SYNASC 2006: 3-4
47EEWolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz: Theorema. The Seventeen Provers of the World 2006: 96-107
46EEBruno 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)
45EEBruno Buchberger: Comments on the translation of my PhD thesis. J. Symb. Comput. 41(3-4): 471-474 (2006)
44EEBruno 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)
2005
43EEBruno 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
42EEBruno 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
41EEBruno Buchberger: A view on the future of symbolic computation. ISSAC 2005: 1
2004
40 Bruno Buchberger, John A. Campbell: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings Springer 2004
39EETetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142
38EEBruno Buchberger: Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. AISC 2004: 236-250
37EEJudit 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
36EETemur Kutsia, Bruno Buchberger: Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219
35EEBruno Buchberger, Adrian Craciun: Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. Electr. Notes Theor. Comput. Sci. 93: 24-59 (2004)
2003
34 Andrea Asperti, Bruno Buchberger, James H. Davenport: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings Springer 2003
33EEBruno Buchberger: Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). CSL 2003: 98-99
32 Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel: Preface. Ann. Math. Artif. Intell. 38(1-3): 1-2 (2003)
2002
31EEFlorina Piroi, Bruno Buchberger: Focus Windows: A New Technique for Proof Presentation. AISC 2002: 337-342
2001
30 Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers Springer 2001
29EEBruno Buchberger: Gröbner Bases: A Short Introduction for Systems Theorists. EUROCAST 2001: 1-19
28EEBruno Buchberger: The PCS Prover in THEOREMA. EUROCAST 2001: 469-478
1999
27EEBruno Buchberger: Theory exploration versus theorem proving. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1997
26 Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391
25 Bruno Buchberger: Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). LPNMR 1997: 220-221
1996
24 Bruno Buchberger: Symbolic Computation: Computer Algebra and Logic. Frontiers of Combining Systems (FroCos) 1996: 193-219
1995
23 Bruno Buchberger: What Is Symbolic Computation? CP 1995: 563
22 Bruno Buchberger: Symbolic Computation Software Systems: The Current State of Technology. EUROSIM 1995: 85-94
1994
21 Bruno Buchberger, Jens Volkert: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings Springer 1994
1993
20 Bruno Buchberger: Mathematica: A System for Doing Mathematics by Computer? (Abstract). DISCO 1993: 1
1992
19 Bruno Buchberger: Gröbner Bases: An Introduction. ICALP 1992: 378-379
1991
18 Bruno Buchberger: Gröbner Bases in Mathematica: Enthusiasm and Frustration. Programming Environments for High-Level Scientific Problem Solving 1991: 119-132
1990
17 Erich Kaltofen, Bruno Buchberger: Special Issue Computational Algebraic Complexity Editorial. J. Symb. Comput. 9(3): 225-228 (1990)
1988
16EEBruno Buchberger: Algebraic Methods for Non-Linear Computational Geometry (Invited Address). Symposium on Computational Geometry 1988: 81-82
1987
15 Bruno Buchberger: Applications of Gröbner Bases in Non-linear Computational Geometry. Trends in Computer Algebra 1987: 52-80
14 Bruno Buchberger: History and Basic Features of the Critical-Pair/Completion Procedure. J. Symb. Comput. 3(1/2): 3-38 (1987)
1985
13 Bruno Buchberger: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures Springer 1985
12 P. Hintenaus, Bruno Buchberger: The L-Language for the Parallel L-Machine. ÖGAI 1985: 120-131
11 Bruno Buchberger: The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. AAECC 1985: 333-347
10 Bruno Buchberger: The Parallel L-Machine for Symbolic Computation. European Conference on Computer Algebra (2) 1985: 541-542
9 Bruno Buchberger: Basic Features and Development of the Critical-Pair/Completion Procedure. RTA 1985: 1-45
8EEFranz 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)
1983
7 Bruno Buchberger: A note on the complexity of constructing Gröbner-Bases. EUROCAL 1983: 137-145
6 Bruno Buchberger: A critical-pair/completion algorithm for finitely generated ideals in rings. Logic and Machines 1983: 137-161
1982
5 H. Michael Möller, Bruno Buchberger: The Construction of Multivariate Polynomials with Preassigned Zeros. EUROCAM 1982: 24-31
4 Bruno Buchberger: Computer-unterstützter Algorithmenentwurf. KIFS 1982: 141-201
1980
3 Bruno Buchberger, Franz Lichtenberger: Mathematik für Informatiker I: Die Methode der Mathematik Springer 1980
1979
2 Bruno Buchberger: A criterion for detecting unnecessary reductions in the construction of Groebner bases. EUROSAM 1979: 3-21
1972
1 Bruno Buchberger: Certain decompositions of Gödel numbering and the semantics of programming languages. International Sympoisum on Theoretical Programming 1972: 152-171

Coauthor Index

1Andrea Asperti [34]
2John A. Campbell [40]
3Adrian Craciun [35] [46]
4James H. Davenport [34]
5José Luis Freire-Nistal (José Luis Freire) [30]
6Gaston H. Gonnet [32]
7Michiel Hazewinkel [32]
8P. Hintenaus [12]
9Tetsuo Ida [37] [39]
10Christian Jansson [42]
11Tudor Jebelean [26] [46]
12Erich Kaltofen [17]
13Laura Kovács (Laura Ildikó Kovács) [46]
14Franz Kriftner [26]
15Temur Kutsia [36] [46]
16Franz Lichtenberger [3] [8]
17Mircea Marin [26]
18H. Michael Möller [5]
19Roberto Moreno-Díaz [30]
20Koji Nakagawa [46]
21Shin'ichi Oishi [42] [43] [50]
22Florina Piroi [31] [46]
23Michael Plum [42] [43] [50]
24Nikolaj Popov [46]
25Judit Robu [37] [39] [46]
26Heinrich Rolletschek [8]
27Markus Rosenkranz [46] [47]
28Siegfried M. Rump [42] [43] [50]
29Hidekazu Takahashi [37]
30Dorin Tepeneu [37] [39]
31Elena Tomuta [26]
32Daniela Vasaru [26]
33Jens Volkert [21]
34Wolfgang Windsteiger [47]
35Franz Winkler [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)