`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:

### Wrote 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.