| Publication | Date of Publication | Type |
|---|
Normal forms and representable functions in moisil logic
Algebra Universalis | 2026-04-02 | Paper |
On quantitative metastability for accretive operators
Zeitschrift für Analysis und ihre Anwendungen | 2024-10-18 | Paper |
Bounds on strong unicity for Chebyshev approximation with bounded coefficients
Mathematische Nachrichten | 2023-10-09 | Paper |
A proof‐theoretic metatheorem for tracial von Neumann algebras
Mathematical Logic Quarterly | 2023-09-15 | Paper |
| Normal forms and representable functions in Moisil logic | 2023-04-01 | Paper |
| The computational content of super strongly nonexpansive mappings and uniformly monotone operators | 2023-03-05 | Paper |
Revisiting jointly firmly nonexpansive families of mappings
Optimization | 2022-11-29 | Paper |
| On quantitative metastability for accretive operators | 2022-10-20 | Paper |
Abstract strongly convergent variants of the proximal point algorithm
Computational Optimization and Applications | 2022-08-08 | Paper |
On extracting variable Herbrand disjunctions
Studia Logica | 2022-07-22 | Paper |
Quantitative inconsistent feasibility for averaged mappings
Optimization Letters | 2022-06-10 | Paper |
On extracting variable Herbrand disjunctions
(available as arXiv preprint) | 2021-11-23 | Paper |
A quantitative multiparameter mean ergodic theorem
Pacific Journal of Mathematics | 2021-10-27 | Paper |
Construction of fixed points of asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
Numerical Functional Analysis and Optimization | 2021-08-09 | Paper |
Rates of metastability for iterations on the unit interval
Journal of Mathematical Analysis and Applications | 2021-06-14 | Paper |
The finitary content of sunny nonexpansive retractions
Communications in Contemporary Mathematics | 2020-10-26 | Paper |
Rates of metastability for iterations on the unit interval
(available as arXiv preprint) | 2020-08-10 | Paper |
PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES
Journal of Symbolic Logic | 2020-01-10 | Paper |
Quantitative inconsistent feasibility for averaged mappings
(available as arXiv preprint) | 2020-01-06 | Paper |
| scientific article; zbMATH DE number 7118235 (Why is no real title available?) | 2019-10-16 | Paper |
scientific article; zbMATH DE number 7118235 (Why is no real title available?)
(available as arXiv preprint) | 2019-10-16 | Paper |
An application of proof mining to the proximal point algorithm in CAT(0) spaces
Mathematics Almost Everywhere | 2019-07-04 | Paper |
Effective strong convergence of the proximal point algorithm in CAT(0) spaces
Journal of Nonlinear and Variational Analysis | 2019-02-07 | Paper |
An abstract proximal point algorithm
Journal of Global Optimization | 2018-12-07 | Paper |
The asymptotic behaviour of convex combinations of firmly nonexpansive mappings
(available as arXiv preprint) | 2018-02-23 | Paper |
Codensity and Stone spaces
Mathematica Slovaca | 2018-02-22 | Paper |
A note on the Mann iteration for \(k\)-strict pseudocontractions in Banach spaces
Numerical Functional Analysis and Optimization | 2017-05-18 | Paper |
| Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions | 2016-12-23 | Paper |
Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions
(available as arXiv preprint) | 2016-12-23 | Paper |
Effective results on a fixed point algorithm for families of nonlinear mappings
Annals of Pure and Applied Logic | 2016-10-26 | Paper |
