`Travelled to:`

1 × Germany

`Collaborated with:`

P.Rümmer A.Zeljic C.M.Wintersteiger

`Talks about:`

arithmet (1) approxim (1) theorem (1) explor (1) rigid (1) prove (1) point (1) float (1) bound (1) unif (1)

## Person: Peter Backeman

### DBLP: Backeman:Peter

### Contributed to:

### Wrote 2 papers:

- CADE-2015-BackemanR #bound #proving #theorem proving
- Theorem Proving with Bounded Rigid E-Unification (PB, PR), pp. 572–587.
- IJCAR-2018-ZeljicBWR #approximate #float #using
- Exploring Approximations for Floating-Point Arithmetic Using UppSAT (AZ, PB, CMW, PR), pp. 246–262.