`Travelled to:`

1 × USA

`Collaborated with:`

D.Cyrluk D.Kapur

`Talks about:`

geometri (1) theorem (1) algebra (1) prover (1) geomet (1)

## Person: Richard M. Harris

### DBLP: Harris:Richard_M=

### Contributed to:

### Wrote 1 papers:

- CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving
- GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.