On the existence theorems of Kantorovich, Miranda and Borsuk. Alefeld, Götz; Frommer, Andreas; Heindl, Gerhard; Mayer, Jan — 2004 ETNA. Electronic Transactions on Numerical Analysis [electronic only]