`Travelled to:`

3 × USA

`Collaborated with:`

J.C.King L.Carter J.Gill G.Markowsky M.N.Wegman M.Blum V.R.Pratt R.L.Rivest R.E.Tarjan

`Talks about:`

membership (1) interpret (1) approxim (1) theorem (1) tester (1) prover (1) orient (1) median (1) linear (1) comput (1)

## Person: Robert W. Floyd

### DBLP: Floyd:Robert_W=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 3 papers:

- STOC-1978-CarterFGMW #approximate
- Exact and Approximate Membership Testers (LC, RWF, JG, GM, MNW), pp. 59–65.
- STOC-1972-BlumFPRT #bound #linear
- Linear Time Bounds for Median Computations (MB, RWF, VRP, RLR, RET), pp. 119–124.
- STOC-1970-KingF #integer #proving #theorem proving
- An Interpretation Oriented Theorem Prover over Integers (JCK, RWF), pp. 169–179.