1. Alefeld, G., Frommer, A., Heindl, G., Mayer, J.: On the existence theorems of Kantorovich, Miranda and Borsuk. Electron. Trans. Numer. Anal. 17, 102–111 (2004)
2. Bánhelyi, B., Csendes, T., Hatvan, L.: On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum. J. Comput. Appl. Math. 371, 112702 (2020)
3. Bolzano, B.: Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werten, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege. Prague (1817)
4. Brönnimann, H., Emiris, I.Z., Pan, V., Pion, S.: Sign determination in residue number systems. Theor. Comput. Sci. 210, 173–197 (1999)
5. Brouwer, L.E.J.: Über Abbildungen von Mannigfaltigkeiten. Math. Ann. 71, 97–115 (1912)