B
Branimir Lambov
Publications - 2
Citations - 48
Branimir Lambov is an academic researcher. The author has contributed to research in topics: Mathematical proof & Computability. The author has an hindex of 2, co-authored 2 publications receiving 46 citations.
Papers
More filters
Journal ArticleDOI
Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings
TL;DR: In this article, the authors established explicit quantitative bounds on the computation of approximate fixed points of asymptotically (quasi-) nonexpansive mappings f by means of iterative processes.
Journal ArticleDOI
A Two-Layer Approach to the Computability and Complexity of Real Numbers
TL;DR: A new approach to computability of realNumbers in which real functions have type-1 representations, which also includes the ability to reason about the complexity of real numbers and functions is presented.