Using interval arithmetic to prove that a set is path-connected.

Nicolas DelanoueLuc JaulinBertrand Cottenceau
Published in: Theor. Comput. Sci. (2006)
Keyphrases
  • special case
  • real time
  • cost function
  • finite sets