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.308secs