Bruno Buchberger
Bruno Buchberger
Professer for Computer Mathematics, Johannes Kepler University
Email verificata su jku.at - Home page
TitoloCitata daAnno
Grobner bases: An algorithmic method in polynomial ideal theory
B Buchberger
Multidimensional systems theory, 1985
22071985
Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal
B Buchberger
PhD thesis, Universitat Insbruck, 1965
11131965
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
5452006
Ein algorithmisches Kriterium fr die Lsbarkeit eines algebraischen Gleichungssystems
B Buchberger
Aequationes mathematicae 4 (3), 374-383, 1970
5331970
Computer algebra: symbolic and algebraic computation
R Albrecht
Springer Science & Business Media, 2012
4712012
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
4471965
A criterion for detecting unnecessary reductions in the construction of Grbner-bases
B Buchberger
International Symposium on Symbolic and Algebraic Manipulation, 3-21, 1979
4461979
Grbner bases and applications
B Buchberger, F Winkler
Cambridge University Press, 1998
3751998
An algorithmical criteria for the solvability of algebraic systems of equations
B Buchberger
Aequationes Math 4, 374-383, 1970
3321970
A theoretical basis for the reduction of polynomials to canonical forms
B Buchberger
ACM SIGSAM Bulletin 10 (3), 19-29, 1976
3301976
Applications of Grbner bases in non-linear computational geometry
B Buchberger
Mathematical aspects of scientific software, 59-87, 1988
3231988
Algebraic simplification
B Buchberger, R Loos
Computer algebra, 11-43, 1982
2281982
Multidimensional systems theory
NK Bose
D. Reidel Publishing Co, 184-232, 1985
214*1985
Should students learn integration rules?
B Buchberger
ACM Sigsam Bulletin 24 (1), 10-17, 1990
2061990
The construction of multivariate polynomials with preassigned zeros
HM Mller, B Buchberger
European Computer Algebra Conference, 24-31, 1982
1971982
Theorema: Towards computer-aided mathematical theory exploration
B Buchberger, A Crǎciun, T Jebelean, L Kovcs, T Kutsia, K Nakagawa, ...
Journal of Applied Logic 4 (4), 470-504, 2006
1732006
A survey of the Theorema project
B Buchberger, T Jebelean, F Kriftner, M Marin, E Tomuta, D Vasaru
ISSAC 97, 384-391, 1997
1591997
History and basic features of the critical-pair/completion procedure
B Buchberger
Journal of Symbolic Computation 3 (1-2), 3-38, 1987
1561987
Algebraic methods for geometric reasoning
B Buchberger, GE Collins, B Kutzler
Annual review of computer science 3 (1), 85-119, 1988
1171988
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
1162001
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20