Highly Influenced

# Topology in PVS: continuous mathematics with applications

@inproceedings{Lester2007TopologyIP, title={Topology in PVS: continuous mathematics with applications}, author={David R. Lester}, booktitle={AFM '07}, year={2007} }

- Published 2007 in AFM '07
DOI:10.1145/1345169.1345171

Topology can seem too abstract to be useful when first encountered. My aim in this paper is to show that --- on the contrary --- it is the vital building block for continuous mathematics. In particular, if a proof can be undertaken at the level of topology, it is almost always simpler there than when undertaken within the context of specific classes of topology such as those of metric spaces or Domain Theory.