## Two computer-supported proofs in metric space topology (1991)

by
William M. Farmer
,
F. Javier Thayer

Venue: | Notices of the American Mathematical Society |

Citations: | 8 - 3 self |