A computational study of a class of recursive inequalities | Neri | Journal of Logic and Analysis

A computational study of a class of recursive inequalities

Morenikeji Neri, Thomas Powell

Keywords

proof mining; rates of convergence; recursive inequalities; subgradient methods

Full Text:

3. [PDF]

DOI: https://doi.org/10.4115/jla.2023.15.3

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008