B. Buchberger
发表
D. S. Arnon,
B. Buchberger,
1988
.
B. Buchberger,
Bruno Buchberger,
1985
.
B. Buchberger,
1985
.
B. Buchberger,
1998
.
Bruno Buchberger,
Tudor Jebelean,
Mircea Marin,
1997,
ISSAC.
B. Buchberger,
F. Winkler,
1998
.
B. Buchberger,
2004
.
B. Buchberger,
2004
.
H. Engl,
G. Larcher,
B. Buchberger,
2004
.
Bruno Buchberger,
Tetsuo Ida,
B. Buchberger,
2004
.
B. Buchberger,
F. Piroi,
2004
.
J. Davenport,
B. Buchberger,
E. Ábrahám,
2016
.
Bruno Buchberger,
Manuel Kauers,
Carsten Schneider,
2009,
Hagenberg Research.
B. Buchberger,
1995
.
Anna Maria Bigatti,
J. Davenport,
B. Buchberger,
2016
.
Bruno Buchberger,
B. Buchberger,
2006
.
Bruno Buchberger,
Tudor Jebelean,
Mircea Marin,
1997,
ISSAC 1997.
Bruno Buchberger,
Siegfried M. Rump,
Shin'ichi Oishi,
2006,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Bruno Buchberger,
Laura Kovács,
Adel Bouhoula,
2015,
J. Symb. Comput..
B. Buchberger,
2011
.
Bruno Buchberger,
B. Buchberger,
1998
.
Bruno Buchberger,
B. Buchberger,
1979,
EUROSAM.
Bernhard Thalheim,
Klaus-Dieter Schewe,
Bruno Buchberger,
2015,
Texts & Monographs in Symbolic Computation.
Bruno Buchberger,
Manuel Kauers,
B. Buchberger,
2011,
Scholarpedia.
B. Buchberger,
M. Haller,
B. Pröll,
2009
.
Bruno Buchberger,
Markus Rosenkranz,
Georg Regensburger,
2012,
ArXiv.
Bruno Buchberger,
Markus Rosenkranz,
B. Buchberger,
2012,
J. Symb. Comput..
Bruno Buchberger,
B. Buchberger,
1988
.
Bruno Buchberger,
B. Buchberger,
1987,
Trends in Computer Algebra.
Bruno Buchberger,
Alexander Maletzky,
B. Buchberger,
2014,
ICMS.
Bruno Buchberger,
B. Buchberger,
1985,
RTA.
Bruno Buchberger,
B. Buchberger,
1983,
EUROCAL.
Bruno Buchberger,
B. Buchberger,
2006,
J. Symb. Comput..
Bruno Buchberger,
B. Buchberger,
1987,
J. Symb. Comput..
Bruno Buchberger,
B. Buchberger,
2001
.
W. Jacak,
R. Muszynski,
I. Duleba,
1995,
Proceedings of ICNN'95 - International Conference on Neural Networks.
Bruno Buchberger,
Juan Elias,
B. Buchberger,
1992
.
Bruno Buchberger,
B. Buchberger,
1983,
Logic and Machines.
Bruno Buchberger,
B. Buchberger,
1982,
SIGS.
Bruno Buchberger,
B. Buchberger,
2001,
Multidimens. Syst. Signal Process..
Bruno Buchberger,
Temur Kutsia,
B. Buchberger,
2004,
MKM.
Bruno Buchberger,
Alois Ferscha,
Michael Affenzeller,
2009
.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Daniel Kroening,
James H. Davenport,
Alberto Griggio,
2016
.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Bruno Buchberger,
B. Buchberger,
2001,
EUROCAST.
Bruno Buchberger,
H. Michael Möller,
B. Buchberger,
1982,
EUROCAM.
Bruno Buchberger,
Tetsuo Ida,
Temur Kutsia,
2008
.
Bruno Buchberger,
B. Buchberger,
1995,
CP.
Bruno Buchberger,
Adrian Craciun,
B. Buchberger,
2004,
MKM Symposium.
Bruno Buchberger,
G. E. Collins,
Bernhard Kutzler,
1988
.
Bruno Buchberger,
B. Buchberger,
1976,
SIGS.
Anna Maria Bigatti,
J. Davenport,
B. Buchberger,
2016,
CICM.
Koji Nakagawa,
Bruno Buchberger,
Laura Kovács,
2006,
J. Appl. Log..
Robert H. Lewis,
B. Buchberger,
D. Tominaga,
2008
.
Bruno Buchberger,
Markus Rosenkranz,
Heinz W. Engl,
2003
.
B. Buchberger,
1982,
Computing Supplementum.
Bruno Buchberger,
Franz Winkler,
Birgit Reinert,
1998
.
B. Buchberger,
2001
.
Bruno Buchberger,
B. Buchberger,
1990,
SIGS.
Bruno Buchberger,
Heinrich Rolletschek,
Franz Winkler,
1985,
TOMS.
Bruno Buchberger,
Wolfgang Schreiner,
B. Buchberger,
1997
.
Bruno Buchberger,
B. Buchberger,
1997
.
B. Buchberger,
1996,
FroCoS.
Bruno Buchberger,
B. Buchberger,
1976,
SIGS.
Bruno Buchberger,
Tetsuo Ida,
Judit Robu,
2004,
AISC.
Bruno Buchberger,
Franz Winkler,
Laureano Gonzalez-Vega,
1998
.