| Gröbner bases: An algorithmic method in polynomial ideal theory NK Bose, NK Bose Multidimensional systems theory and applications, 89-127, 1995 | 2488 | 1995 |
| Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal B Buchberger Ph. D. Thesis, Math. Inst., University of Innsbruck, 1965 | 1458 | 1965 |
| Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal B Buchberger Journal of symbolic computation 41 (3-4), 475-511, 2006 | 889 | 2006 |
| Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems B Buchberger Aequationes math 4 (3), 374-383, 1970 | 603 | 1970 |
| Computer algebra symbolic and algebraic computation B Buchberger, GE Collins, R Loos, R Albrecht ACM SIGSAM Bulletin 16 (4), 5-5, 1982 | 561 | 1982 |
| A criterion for detecting unnecessary reductions in the construction of Gröbner-bases B Buchberger International Symposium on Symbolic and Algebraic Manipulation, 3-21, 1979 | 529 | 1979 |
| An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal B Buchberger Ph. D. thesis, University of Innsbruck, Austria, 1965 | 516 | 1965 |
| A theoretical basis for the reduction of polynomials to canonical forms B Buchberger ACM SIGSAM Bulletin 10 (3), 19-29, 1976 | 494 | 1976 |
| Gröbner bases and applications B Buchberger, F Winkler Cambridge University Press, 1998 | 459 | 1998 |
| An algorithmical criteria for the solvability of algebraic systems of equations B Buchberger Aequationes Math 4, 374-383, 1970 | 371 | 1970 |
| Should students learn integration rules? B Buchberger ACM Sigsam Bulletin 24 (1), 10-17, 1990 | 277 | 1990 |
| Algebraic simplification B Buchberger, R Loos Computer algebra: symbolic and algebraic computation, 11-43, 1982 | 272 | 1982 |
| The construction of multivariate polynomials with preassigned zeros HM Möller, B Buchberger Computer Algebra: EUROCAM'82, European Computer Algebra Conference Marseille …, 1982 | 249 | 1982 |
| Theorema: Towards computer-aided mathematical theory exploration B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ... Journal of applied logic 4 (4), 470-504, 2006 | 237 | 2006 |
| Applications of Gröbner bases in non-linear computational geometry B Buchberger Mathematical aspects of scientific software, 59-87, 1988 | 204 | 1988 |
| Applications of Gröbner bases in non-linear computational geometry B Buchberger Trends in Computer Algebra: International Symposium Bad Neuenahr, May 19–21 …, 2005 | 195 | 2005 |
| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Okada, I Satoh Lecture notes in computer science (including subseries lecture notes in …, 2007 | 178* | 2007 |
| History and basic features of the critical-pair/completion procedure B Buchberger Journal of Symbolic Computation 3 (1-2), 3-38, 1987 | 177 | 1987 |
| A survey of the Theorema project B Buchberger, T Jebelean, F Kriftner, M Marin, E Tomuţa, D Văsaru Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997 | 170 | 1997 |
| The TH∃ OREM∀ Project: A Progress Report B Buchberger, C Dupré, T Jebelean, F Kriftner, K Nakagawa, D Văsaru, ... Symbolic Computation and Automated Reasoning, 98-113, 2001 | 141 | 2001 |
Tudor JebeleanComputer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, Romaniaایمیل تأیید شده در JKU.AT
Adrian CraciunAssociate Professor, West University Timisoaraایمیل تأیید شده در e-uvt.roJames DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSایمیل تأیید شده در bath.ac.uk
Judit RobuBabeș-Bolyai Universityایمیل تأیید شده در ubbcluj.ro
Mircea MarinWest University of Timisoaraایمیل تأیید شده در info.uvt.ro
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen Universityایمیل تأیید شده در cs.rwth-aachen.de
Leo BachmairProfessor of Computer Science, Stony Brook Universityایمیل تأیید شده در cs.stonybrook.edu
Markus RosenkranzJohannes Kepler University, Linz
