Grobner bases: An algorithmic method in polynomial ideal theory B Buchberger Multidimensional systems theory, 1985 | 2247 | 1985 |
Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal B Buchberger PhD thesis, Universitat Insbruck, 1965 | 1224 | 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 | 684 | 2006 |
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems B Buchberger Aequationes mathematicae 4 (3), 374-383, 1970 | 553 | 1970 |
Computer algebra symbolic and algebraic computation B Buchberger, GE Collins, R Loos, R Albrecht ACM SIGSAM Bulletin 16 (4), 5-5, 1982 | 486 | 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 | 473 | 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 | 461 | 1965 |
Gröbner bases and applications B Buchberger, F Winkler Cambridge University Press, 1998 | 406 | 1998 |
A theoretical basis for the reduction of polynomials to canonical forms B Buchberger ACM SIGSAM Bulletin 10 (3), 19-29, 1976 | 363 | 1976 |
An algorithmical criteria for the solvability of algebraic systems of equations B Buchberger Aequationes Math 4, 374-383, 1970 | 341 | 1970 |
Applications of Gröbner bases in non-linear computational geometry B Buchberger Mathematical aspects of scientific software, 59-87, 1988 | 278 | 1988 |
Algebraic simplification B Buchberger, R Loos Computer algebra, 11-43, 1982 | 240 | 1982 |
Should students learn integration rules? B Buchberger ACM Sigsam Bulletin 24 (1), 10-17, 1990 | 229 | 1990 |
The construction of multivariate polynomials with preassigned zeros HM Möller, B Buchberger European Computer Algebra Conference, 24-31, 1982 | 211 | 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 | 192 | 2006 |
Multidimensional systems theory NK Bose, JP Guiver, EW Kamen, HM Valenzuela, B Buchberger D. Reidel Publishing Co, 184-232, 1985 | 190* | 1985 |
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 169* | 2006 |
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 | 163 | 1997 |
History and basic features of the critical-pair/completion procedure B Buchberger Journal of Symbolic Computation 3 (1-2), 3-38, 1987 | 162 | 1987 |
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 | 124 | 2001 |