Bruno Buchberger
Bruno Buchberger
Professer for Computer Mathematics, Johannes Kepler University
Bestätigte E-Mail-Adresse bei jku.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Grobner bases: An algorithmic method in polynomial ideal theory
B Buchberger
Multidimensional systems theory, 1985
22471985
Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal
B Buchberger
PhD thesis, Universitat Insbruck, 1965
12241965
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
6842006
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
B Buchberger
Aequationes mathematicae 4 (3), 374-383, 1970
5531970
Computer algebra symbolic and algebraic computation
B Buchberger, GE Collins, R Loos, R Albrecht
ACM SIGSAM Bulletin 16 (4), 5-5, 1982
4861982
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
4731979
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
4611965
Gröbner bases and applications
B Buchberger, F Winkler
Cambridge University Press, 1998
4061998
A theoretical basis for the reduction of polynomials to canonical forms
B Buchberger
ACM SIGSAM Bulletin 10 (3), 19-29, 1976
3631976
An algorithmical criteria for the solvability of algebraic systems of equations
B Buchberger
Aequationes Math 4, 374-383, 1970
3411970
Applications of Gröbner bases in non-linear computational geometry
B Buchberger
Mathematical aspects of scientific software, 59-87, 1988
2781988
Algebraic simplification
B Buchberger, R Loos
Computer algebra, 11-43, 1982
2401982
Should students learn integration rules?
B Buchberger
ACM Sigsam Bulletin 24 (1), 10-17, 1990
2291990
The construction of multivariate polynomials with preassigned zeros
HM Möller, B Buchberger
European Computer Algebra Conference, 24-31, 1982
2111982
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
1922006
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
1631997
History and basic features of the critical-pair/completion procedure
B Buchberger
Journal of Symbolic Computation 3 (1-2), 3-38, 1987
1621987
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
1242001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20