Travelled to:1 × France
1 × USA
2 × Austria
Collaborated with:∅
Talks about:comput (3) mathemat (2) introduct (1) procedur (1) gröbner (1) develop (1) complet (1) theori (1) symbol (1) featur (1)
Person: Bruno Buchberger
DBLP: Buchberger:Bruno
Contributed to:
2006
2003
1992
1985Wrote 4 papers:
- IJCAR-2006-Buchberger
- Mathematical Theory Exploration (BB), pp. 1–2.
- CSL-2003-Buchberger #logic #symbolic computation
- Computational Mathematics, Computational Logic, and Symbolic Computation (BB), pp. 98–99.
- ICALP-1992-Buchberger
- Gröbner Bases: An Introduction (BB), pp. 378–379.
- RTA-1985-Buchberger #development
- Basic Features and Development of the Critical-Pair/Completion Procedure (BB), pp. 1–45.