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