Funder
Czech Science Foundation (CZ)
Ministerstva Školství, Mládeže A Telovýchovy (CZ)
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference45 articles.
1. Aberth, O.: Computation of topological degree using interval arithmetic, and applications. Math Comput 62(205), 171–178 (1994)
2. Akbarpour, B., Paulson, L.C.: MetiTarski: an automatic theorem prover for real-valued special functions. J. Autom. Reason. 44, 175–205 (2010)
3. 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)
4. Baigger, G.: Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Arch. Math. Log. 25(1), 183–188 (1985)
5. Ben-Tal, A., El Ghaoui, L., Nemirovski, A.: Robust Optimization. Princeton Series in Applied Mathematics. Princeton University Press, Princeton (2009)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献