EDBT 2026 Demo / reviewers in the wild / expert
Ivan Georgiev
dblp:78/3065
· DBLP profile ↗
10ranked-venue papers
8as first author
4since 2021 · last 2025
0000-0002-2475-6086ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 10 · 8 first-author · 4 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | On S-Degrees of Some Representations of Irrational Numbers
Ivan Georgiev, Lars Kristiansen |
CiE | 1 |
| 2023 | Subrecursive Graphs of Representations of Irrational Numbers
Ivan Georgiev |
CiE | 1 |
| 2021 | Dedekind Cuts and Long Strings of Zeros in Base Expansions
Ivan Georgiev |
CiE | 1 |
| 2021 | Computable irrational numbers with representations of surprising complexity
Ivan Georgiev, Lars Kristiansen, Frank Stephan 0001 |
Ann. Pure Appl. Log. | 1 |
| 2020 | On subrecursive complexity of integration
Ivan Georgiev |
Ann. Pure Appl. Log. | 1 |
| 2018 | On General Sum Approximations of Irrational Numbers
Ivan Georgiev, Lars Kristiansen, Frank Stephan 0001 |
CiE | 1 |
| 2017 | Characterization theorem for the conditionally computable real functions
Ivan Georgiev |
Log. Methods Comput. Sci. | 1 |
| 2013 | Conditional computability of real functions with respect to a class of operators
Ivan Georgiev, Dimiter Skordev |
Ann. Pure Appl. Log. | 1 |
| 2012 | M2-computable real numbersabstractThe article concerns subrecursive computability of real numbers. Certain significant real numbers are shown to be M2-computable, and the set of the M2-computable real numbers is shown to be closed under the elementary functions of calculus. Dimiter Skordev, Andreas Weiermann, Ivan Georgiev |
J. Log. Comput. | 3 |
| 2011 | On a Relative Computability Notion for Real Functions
Dimiter Skordev, Ivan Georgiev |
CiE | 2 |