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}
}
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. 

From This Paper

Topics from this paper.
11 Citations
0 References
Similar Papers