The SCEAS System
Navigation Menu

Search the dblp DataBase


Bruno Buchberger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Bruno Buchberger
    The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    AAECC, 1985, pp:333-347 [Conf]
  3. 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]
  4. Florina Piroi, Bruno Buchberger
    Focus Windows: A New Technique for Proof Presentation. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:337-342 [Conf]
  5. 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]
  6. Bruno Buchberger
    Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:236-250 [Conf]
  7. Bruno Buchberger
    Mathematical Theory Exploration. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:1-2 [Conf]
  8. 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]
  9. Bruno Buchberger
    What Is Symbolic Computation? [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:563- [Conf]
  10. Bruno Buchberger
    Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:98-99 [Conf]
  11. 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]
  12. 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]
  13. Bruno Buchberger
    Mathematica: A System for Doing Mathematics by Computer? (Abstract). [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:1- [Conf]
  14. 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]
  15. Bruno Buchberger
    A note on the complexity of constructing Gröbner-Bases. [Citation Graph (0, 0)][DBLP]
    EUROCAL, 1983, pp:137-145 [Conf]
  16. 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]
  17. 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]
  18. Bruno Buchberger
    Gröbner Bases: A Short Introduction for Systems Theorists. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:1-19 [Conf]
  19. Bruno Buchberger
    The PCS Prover in THEOREMA. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:469-478 [Conf]
  20. 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]
  21. Bruno Buchberger
    Symbolic Computation Software Systems: The Current State of Technology. [Citation Graph (0, 0)][DBLP]
    EUROSIM, 1995, pp:85-94 [Conf]
  22. Bruno Buchberger
    Symbolic Computation: Computer Algebra and Logic. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:193-219 [Conf]
  23. 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]
  24. Bruno Buchberger
    Gröbner Bases: An Introduction. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:378-379 [Conf]
  25. 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]
  26. Bruno Buchberger
    A view on the future of symbolic computation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:1- [Conf]
  27. 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]
  28. Bruno Buchberger
    Computer-unterstützter Algorithmenentwurf. [Citation Graph (0, 0)][DBLP]
    KIFS, 1982, pp:141-201 [Conf]
  29. 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]
  30. Bruno Buchberger
    Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:220-221 [Conf]
  31. Temur Kutsia, Bruno Buchberger
    Predicate Logic with Sequence Variables and Sequence Function Symbols. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:205-219 [Conf]
  32. P. Hintenaus, Bruno Buchberger
    The L-Language for the Parallel L-Machine. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:120-131 [Conf]
  33. Bruno Buchberger
    Basic Features and Development of the Critical-Pair/Completion Procedure. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:1-45 [Conf]
  34. Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz
    Theorema. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:96-107 [Conf]
  35. Bruno Buchberger
    Mathematical Theory Exploration. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:3-4 [Conf]
  36. 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]
  37. Bruno Buchberger
    Theory exploration versus theorem proving. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]

  44. A Symbolic Framework for Operations on Linear Boundary Problems. [Citation Graph (, )][DBLP]

  45. An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. [Citation Graph (, )][DBLP]

  46. 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 may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002