The SCEAS System
| |||||||

## Search the dblp DataBase
Bruno Buchberger:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Bruno Buchberger
**History and Basic Features of the Critical-Pair/Completion Procedure.**[Citation Graph (1, 0)][DBLP] J. Symb. Comput., 1987, v:3, n:1/2, pp:3-38 [Journal] - Bruno Buchberger
**The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation.**[Citation Graph (0, 0)][DBLP] AAECC, 1985, pp:333-347 [Conf] - Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
**Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2004, pp:19-33 [Conf] - Florina Piroi, Bruno Buchberger
**Focus Windows: A New Technique for Proof Presentation.**[Citation Graph (0, 0)][DBLP] AISC, 2002, pp:337-342 [Conf] - Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
**Proving and Constraint Solving in Computational Origami.**[Citation Graph (0, 0)][DBLP] AISC, 2004, pp:132-142 [Conf] - Bruno Buchberger
**Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy.**[Citation Graph (0, 0)][DBLP] AISC, 2004, pp:236-250 [Conf] - Bruno Buchberger
**Mathematical Theory Exploration.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:1-2 [Conf] - Bruno Buchberger
**Algebraic Methods for Non-Linear Computational Geometry (Invited Address).**[Citation Graph (0, 0)][DBLP] Symposium on Computational Geometry, 1988, pp:81-82 [Conf] - Bruno Buchberger
**What Is Symbolic Computation?**[Citation Graph (0, 0)][DBLP] CP, 1995, pp:563- [Conf] - Bruno Buchberger
**Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture).**[Citation Graph (0, 0)][DBLP] CSL, 2003, pp:98-99 [Conf] - Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
**05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.**[Citation Graph (0, 0)][DBLP] Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005, pp:- [Conf] - Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
**05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.**[Citation Graph (0, 0)][DBLP] Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005, pp:- [Conf] - Bruno Buchberger
**Mathematica: A System for Doing Mathematics by Computer? (Abstract).**[Citation Graph (0, 0)][DBLP] DISCO, 1993, pp:1- [Conf] - Bruno Buchberger
**Certain decompositions of Gödel numbering and the semantics of programming languages.**[Citation Graph (0, 0)][DBLP] International Sympoisum on Theoretical Programming, 1972, pp:152-171 [Conf] - Bruno Buchberger
**A note on the complexity of constructing Gröbner-Bases.**[Citation Graph (0, 0)][DBLP] EUROCAL, 1983, pp:137-145 [Conf] - Bruno Buchberger
**The Parallel L-Machine for Symbolic Computation.**[Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:541-542 [Conf] - H. Michael Möller, Bruno Buchberger
**The Construction of Multivariate Polynomials with Preassigned Zeros.**[Citation Graph (0, 0)][DBLP] EUROCAM, 1982, pp:24-31 [Conf] - Bruno Buchberger
**Gröbner Bases: A Short Introduction for Systems Theorists.**[Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:1-19 [Conf] - Bruno Buchberger
**The PCS Prover in THEOREMA.**[Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:469-478 [Conf] - Bruno Buchberger
**A criterion for detecting unnecessary reductions in the construction of Groebner bases.**[Citation Graph (0, 0)][DBLP] EUROSAM, 1979, pp:3-21 [Conf] - Bruno Buchberger
**Symbolic Computation Software Systems: The Current State of Technology.**[Citation Graph (0, 0)][DBLP] EUROSIM, 1995, pp:85-94 [Conf] - Bruno Buchberger
**Symbolic Computation: Computer Algebra and Logic.**[Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:193-219 [Conf] - Bruno Buchberger
**Applications of Gröbner Bases in Non-linear Computational Geometry.**[Citation Graph (0, 0)][DBLP] Trends in Computer Algebra, 1987, pp:52-80 [Conf] - Bruno Buchberger
**Gröbner Bases: An Introduction.**[Citation Graph (0, 0)][DBLP] ICALP, 1992, pp:378-379 [Conf] - Bruno Buchberger
**Gröbner Bases in Mathematica: Enthusiasm and Frustration.**[Citation Graph (0, 0)][DBLP] Programming Environments for High-Level Scientific Problem Solving, 1991, pp:119-132 [Conf] - Bruno Buchberger
**A view on the future of symbolic computation.**[Citation Graph (0, 0)][DBLP] ISSAC, 2005, pp:1- [Conf] - Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
**A Survey of the Theorema Project.**[Citation Graph (0, 0)][DBLP] ISSAC, 1997, pp:384-391 [Conf] - Bruno Buchberger
**Computer-unterstützter Algorithmenentwurf.**[Citation Graph (0, 0)][DBLP] KIFS, 1982, pp:141-201 [Conf] - Bruno Buchberger
**A critical-pair/completion algorithm for finitely generated ideals in rings.**[Citation Graph (0, 0)][DBLP] Logic and Machines, 1983, pp:137-161 [Conf] - Bruno Buchberger
**Computing, Solving, Proving: A Survey on the Theorema Project (Abstract).**[Citation Graph (0, 0)][DBLP] LPNMR, 1997, pp:220-221 [Conf] - Temur Kutsia, Bruno Buchberger
**Predicate Logic with Sequence Variables and Sequence Function Symbols.**[Citation Graph (0, 0)][DBLP] MKM, 2004, pp:205-219 [Conf] - P. Hintenaus, Bruno Buchberger
**The L-Language for the Parallel L-Machine.**[Citation Graph (0, 0)][DBLP] ÖGAI, 1985, pp:120-131 [Conf] - Bruno Buchberger
**Basic Features and Development of the Critical-Pair/Completion Procedure.**[Citation Graph (0, 0)][DBLP] RTA, 1985, pp:1-45 [Conf] - Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz
**Theorema.**[Citation Graph (0, 0)][DBLP] The Seventeen Provers of the World, 2006, pp:96-107 [Conf] - Bruno Buchberger
**Mathematical Theory Exploration.**[Citation Graph (0, 0)][DBLP] SYNASC, 2006, pp:3-4 [Conf] - Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel
**Preface.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:1-2 [Journal] - Bruno Buchberger
**Theory exploration versus theorem proving.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal] - Bruno Buchberger, Adrian Craciun
**Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:24-59 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal] - Bruno Buchberger
**Comments on the translation of my PhD thesis.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:3-4, pp:471-474 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:3-4, pp:475-511 [Journal] - Erich Kaltofen, Bruno Buchberger
**Special Issue Computational Algebraic Complexity Editorial.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1990, v:9, n:3, pp:225-228 [Journal] - Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek
**Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals.**[Citation Graph (0, 0)][DBLP] ACM Trans. Math. Softw., 1985, v:11, n:1, pp:66-78 [Journal] **A Symbolic Framework for Operations on Linear Boundary Problems.**[Citation Graph (, )][DBLP]**An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra.**[Citation Graph (, )][DBLP]**Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |