| 2007 |
|---|
| 51 | EE | Bruno 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 |
| 49 | EE | Bruno Buchberger:
Mathematical Theory Exploration.
IJCAR 2006: 1-2 |
| 48 | EE | Bruno Buchberger:
Mathematical Theory Exploration.
SYNASC 2006: 3-4 |
| 47 | EE | Wolfgang Windsteiger,
Bruno Buchberger,
Markus Rosenkranz:
Theorema.
The Seventeen Provers of the World 2006: 96-107 |
| 46 | EE | 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) |
| 45 | EE | Bruno Buchberger:
Comments on the translation of my PhD thesis.
J. Symb. Comput. 41(3-4): 471-474 (2006) |
| 44 | EE | 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) |
| 2005 |
|---|
| 43 | EE | 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 |
| 42 | EE | 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 |
| 41 | EE | Bruno 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 |
| 39 | EE | Tetsuo Ida,
Dorin Tepeneu,
Bruno Buchberger,
Judit Robu:
Proving and Constraint Solving in Computational Origami.
AISC 2004: 132-142 |
| 38 | EE | Bruno Buchberger:
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy.
AISC 2004: 236-250 |
| 37 | EE | 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 |
| 36 | EE | Temur Kutsia,
Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols.
MKM 2004: 205-219 |
| 35 | EE | Bruno 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 |
| 33 | EE | Bruno 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 |
|---|
| 31 | EE | Florina 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 |
| 29 | EE | Bruno Buchberger:
Gröbner Bases: A Short Introduction for Systems Theorists.
EUROCAST 2001: 1-19 |
| 28 | EE | Bruno Buchberger:
The PCS Prover in THEOREMA.
EUROCAST 2001: 469-478 |
| 1999 |
|---|
| 27 | EE | Bruno 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 |
|---|
| 16 | EE | Bruno 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 |
| 8 | EE | 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) |
| 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 |
