Günther, Christian; Khazayel, Bahareh; Tammer, Christiane Nonlinear cone separation theorems in real topological linear spaces. (English) Zbl 07790176 SIAM J. Optim. 34, No. 1, 225-250 (2024). Reviewer: Stefan Cobzaş (Cluj-Napoca) MSC: 46A22 49J27 65K10 90C48 PDFBibTeX XMLCite \textit{C. Günther} et al., SIAM J. Optim. 34, No. 1, 225--250 (2024; Zbl 07790176) Full Text: DOI arXiv
Garcia-Pacheco, Francisco Javier; Cobos-Sanchez, Clemente; Moreno-Pulido, Soledad; Sanchez-Alzola, Alberto Exact solutions to \({\displaystyle\max_{\Vert x\Vert=1}\sum_{i=1}^\infty\Vert T_i(x) \Vert^2}\) with applications to physics, bioengineering and statistics. (English) Zbl 1486.47019 Commun. Nonlinear Sci. Numer. Simul. 82, Article ID 105054, 22 p. (2020). MSC: 47A30 65J10 15-04 PDFBibTeX XMLCite \textit{F. J. Garcia-Pacheco} et al., Commun. Nonlinear Sci. Numer. Simul. 82, Article ID 105054, 22 p. (2020; Zbl 1486.47019) Full Text: DOI
Bonnelie, Pierre; Bourdin, Loïc; Caubet, Fabien; Ruatta, Olivier Flip procedure in geometric approximation of multiple-component shapes – application to multiple-inclusion detection. (English) Zbl 1416.65417 SMAI J. Comput. Math. 2, 255-276 (2016). MSC: 65N21 65D17 68U07 68W25 49Q10 PDFBibTeX XMLCite \textit{P. Bonnelie} et al., SMAI J. Comput. Math. 2, 255--276 (2016; Zbl 1416.65417) Full Text: DOI arXiv
Kreinovich, Vladik; Pownuk, Andrzej; Kosheleva, Olga Combining interval and probabilistic uncertainty: what is computable? (English) Zbl 1355.65190 Pardalos, Panos M. (ed.) et al., Advances in stochastic and deterministic global optimization. Cham: Springer (ISBN 978-3-319-29973-0/hbk; 978-3-319-29975-4/ebook). Springer Optimization and Its Applications 107, 13-32 (2016). MSC: 65Y05 68T37 68Q15 PDFBibTeX XMLCite \textit{V. Kreinovich} et al., Springer Optim. Appl. 107, 13--32 (2016; Zbl 1355.65190) Full Text: DOI
Guo, Xiaoling; Deng, Zhibin; Fang, Shu-Cherng; Xing, Wenxun Quadratic optimization over one first-order cone. (English) Zbl 1292.90221 J. Ind. Manag. Optim. 10, No. 3, 945-963 (2014). MSC: 90C20 90C26 15B48 65Y20 PDFBibTeX XMLCite \textit{X. Guo} et al., J. Ind. Manag. Optim. 10, No. 3, 945--963 (2014; Zbl 1292.90221) Full Text: DOI
Wu, Jinglai; Luo, Zhen; Zhang, Yunqing; Zhang, Nong; Chen, Liping Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions. (English) Zbl 1352.70017 Int. J. Numer. Methods Eng. 95, No. 7, 608-630 (2013). MSC: 70E55 65L80 70F20 PDFBibTeX XMLCite \textit{J. Wu} et al., Int. J. Numer. Methods Eng. 95, No. 7, 608--630 (2013; Zbl 1352.70017) Full Text: DOI
Krebbers, Robbert; Spitters, Bas Computer certified efficient exact reals in Coq. (English) Zbl 1260.68377 Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 90-106 (2011). MSC: 68T15 65G99 PDFBibTeX XMLCite \textit{R. Krebbers} and \textit{B. Spitters}, Lect. Notes Comput. Sci. 6824, 90--106 (2011; Zbl 1260.68377) Full Text: DOI arXiv
Graça, D. S.; Zhong, N.; Buescu, J. Computability, noncomputability and undecidability of maximal intervals of IVPs. (English) Zbl 1171.65056 Trans. Am. Math. Soc. 361, No. 6, 2913-2927 (2009). Reviewer: Josep J. Masdemont (Barcelona) MSC: 65L05 68Q17 03D35 PDFBibTeX XMLCite \textit{D. S. Graça} et al., Trans. Am. Math. Soc. 361, No. 6, 2913--2927 (2009; Zbl 1171.65056) Full Text: DOI
Binder, Ilia; Braverman, Mark; Yampolsky, Michael On the computational complexity of the Riemann mapping. (English) Zbl 1153.30005 Ark. Mat. 45, No. 2, 221-239 (2007). Reviewer: Dmitri V. Prokhorov (Saratov) MSC: 30C30 65Y20 68Q17 68Q25 PDFBibTeX XMLCite \textit{I. Binder} et al., Ark. Mat. 45, No. 2, 221--239 (2007; Zbl 1153.30005) Full Text: DOI arXiv
Walster, G. William; Kreinovich, Vladik Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization. (English) Zbl 1026.90107 Fuzzy Sets Syst. 135, No. 1, 179-208 (2003). MSC: 90C70 65G40 65Y20 68Q25 PDFBibTeX XMLCite \textit{G. W. Walster} and \textit{V. Kreinovich}, Fuzzy Sets Syst. 135, No. 1, 179--208 (2003; Zbl 1026.90107) Full Text: DOI
Lester, David; Chambers, Scott; Lu, Heoi Lee A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. (English) Zbl 1035.65049 Theor. Comput. Sci. 279, No. 1-2, 51-64 (2002). Reviewer: René Lamour (Berlin) MSC: 65H05 12Y05 26C10 PDFBibTeX XMLCite \textit{D. Lester} et al., Theor. Comput. Sci. 279, No. 1--2, 51--64 (2002; Zbl 1035.65049) Full Text: DOI
Kružík, Martin; Roubíček, Tomáš Some geometric properties of the set of generalized Young functionals. (English) Zbl 0957.49009 Proc. R. Soc. Edinb., Sect. A, Math. 129, No. 3, 601-616 (1999). Reviewer: J.-P.Raymond (Toulouse) MSC: 49J45 49J20 65K10 PDFBibTeX XMLCite \textit{M. Kružík} and \textit{T. Roubíček}, Proc. R. Soc. Edinb., Sect. A, Math. 129, No. 3, 601--616 (1999; Zbl 0957.49009) Full Text: DOI