Based on a devised gradient-holonomic integrability testing algorithm, we analyze class of dark type nonlinear dynamical systems spatially one-dimensional functional manifolds possessing hidden symmetry properties and allowing their linearization the associated cotangent spaces. We described main spectral Lax integrable periodic particular within classical Floquet theory, as well presented dete...

We apply proof mining methods to analyse a result of Boikanyo and Moro?anu on the strong convergence Halpern-type proximal point algorithm. As consequence, we obtain quantitative versions this result, providing uniform effective rates asymptotic regularity metastability.