Statistics
Publications
27
Citations
3.4K
H-Index
18
Active since
1976
Affiliations
Johannes Kepler University of Linz(Current)
Bruno Buchberger is an author at Johannes Kepler University of Linz specializing in mathematics, computer science, and algorithms.
Publications per year
1976–2014
27
27
Computer algebra symbolic and algebraic computation
Bruno Buchberger, George E. Collins, Rüdiger Loos et al. · ACM SIGSAM Bulletin · 1982 · 393 citations · Full text
Theorema: Towards computer-aided mathematical theory exploration
Bruno Buchberger, Adrian Crăciun, Tudor Jebelean et al. · Journal of Applied Logic · 2005 · 130 citations
1–5 of 27