Using interval arithmetic to prove that a set is path-connected
- 21 October 2005
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 351 (1), 119-128
- https://doi.org/10.1016/j.tcs.2005.09.055
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- TopologyPublished by Springer Nature ,1984
- Spatial Planning: A Configuration Space ApproachIEEE Transactions on Computers, 1983
- Lattice TheoryPublished by American Mathematical Society (AMS) ,1940