×

zbMATH — the first resource for mathematics

Kohlenbach, Ulrich Wilhelm

Compute Distance To:
Author ID: kohlenbach.ulrich-wilhelm Recent zbMATH articles by "Kohlenbach, Ulrich Wilhelm"
Published as: Kohlenbach, U.; Kohlenbach, Ulrich; Kohlenbach, Ulrich W.; Kohlenbach, Ulrich Wilhelm
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 102 Publications since 1990, including 7 Books
Reviewing Activity: 8 Reviews

Publications by Year

Citations contained in zbMATH

75 Publications have been cited 849 times in 310 Documents Cited by Year
Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002
Kohlenbach, Ulrich
125
2008
Some logical metatheorems with applications in functional analysis. Zbl 1079.03046
Kohlenbach, Ulrich
108
2005
Higher order reverse mathematics. Zbl 1097.03053
Kohlenbach, Ulrich
41
2005
General logical metatheorems for functional analysis. Zbl 1130.03036
Gerhardy, Philipp; Kohlenbach, Ulrich
37
2008
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057
Kohlenbach, Ulrich; Leuştean, Laurentiu
24
2010
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin’s proof for Chebycheff approximation. Zbl 0795.03086
Kohlenbach, Ulrich
23
1993
Analysing proofs in analysis. Zbl 0881.03032
Kohlenbach, Ulrich
22
1996
On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041
Kohlenbach, Ulrich
20
2011
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050
Kohlenbach, Ulrich
20
1996
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051
Kohlenbach, Ulrich
19
1992
Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045
Kohlenbach, U.; Oliva, P.
17
2003
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037
Kohlenbach, Ulrich; Laurenţiu, Leuştean
16
2003
Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045
Kohlenbach, Ulrich
16
2003
A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035
Kohlenbach, Ulrich
15
2001
On the computational content of convergence proofs via Banach limits. Zbl 1329.03094
Kohlenbach, U.; Leuştean, L.
14
2012
Pointwise hereditary majorization and some applications. Zbl 0729.03031
Kohlenbach, Ulrich
14
1992
On the no-counterexample interpretation. Zbl 0960.03047
Kohlenbach, Ulrich
13
1999
Effective metastability of Halpern iterates in \(CAT(0)\) spaces. Zbl 1270.47060
Kohlenbach, U.; Leuştean, L.
12
2012
A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005
Kohlenbach, U.; Leuştean, L.
12
2009
Foundational and mathematical uses of higher types. Zbl 1022.03044
Kohlenbach, Ulrich
12
2002
Arithmetizing proofs in analysis. Zbl 0919.03046
Kohlenbach, Ulrich
12
1998
The approximate fixed point property in product spaces. Zbl 1118.47047
Kohlenbach, U.; Leuştean, L.
9
2007
Strongly uniform bounds from semi-constructive proofs. Zbl 1099.03048
Gerhardy, Philipp; Kohlenbach, Ulrich
9
2006
On uniform weak König’s lemma. Zbl 1001.03052
Kohlenbach, Ulrich
9
2002
Elimination of Skolem functions for monotone formulas in analysis. Zbl 0916.03040
Kohlenbach, Ulrich
9
1998
Shoenfield is Gödel after Krivine. Zbl 1154.03036
Streicher, Thomas; Kohlenbach, Ulrich
8
2007
Some computational aspects of metric fixed-point theory. Zbl 1086.47021
Kohlenbach, Ulrich
8
2005
A note on Spector’s quantifier-free rule of extensionality. Zbl 0980.03058
Kohlenbach, Ulrich
8
2001
Things that can and things that cannot be done in PRA. Zbl 0958.03039
Kohlenbach, Ulrich
8
2000
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
7
2015
A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093
Kohlenbach, Ulrich
7
2012
On the computational content of the Bolzano-Weierstraß principle. Zbl 1209.03046
Safarik, Pavol; Kohlenbach, Ulrich
7
2010
Bounds on iterations of asymptotically quasi-nonexpansive mappings. Zbl 1089.47053
Kohlenbach, Ulrich; Lambov, Branimir
7
2004
On the computational content of the Krasnoselski and Ishikawa fixed point theorems. Zbl 0985.03048
Kohlenbach, Ulrich
7
2001
Relative constructivity. Zbl 0928.03065
Kohlenbach, Ulrich
7
1998
Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen. Zbl 0744.03056
Kohlenbach, Ulrich Wilhelm
7
1990
Quantitative asymptotic regularity results for the composition of two mappings. Zbl 06774319
Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
6
2017
Effective metastability for modified halpern iterations in CAT(0) spaces. Zbl 06235289
Schade, K.; Kohlenbach, U.
6
2012
Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112
Kohlenbach, Ulrich; Kreuzer, Alexander P.
6
2012
Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059
Kreuzer, Alexander; Kohlenbach, Ulrich
6
2009
Effective uniform bounds from proofs in abstract functional analysis. Zbl 1154.46043
Kohlenbach, Ulrich
6
2008
Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040
Kohlenbach, Ulrich; Oliva, Paulo
6
2003
New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory. Zbl 0795.41020
Kohlenbach, Ulrich
6
1993
Remarks on Herbrand normal forms and Herbrand realizations. Zbl 0742.03021
Kohlenbach, Ulrich
6
1992
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038
Kohlenbach, Ulrich
5
2016
Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078
Günzel, Daniel; Kohlenbach, Ulrich
5
2016
Fluctuations, effective learnability and metastability in analysis. Zbl 1319.03062
Kohlenbach, Ulrich; Safarik, Pavol
5
2014
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
5
2007
A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Zbl 1262.54020
Kohlenbach, Ulrich
5
2006
Quantitative image recovery theorems. Zbl 1307.47059
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2014
Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044
Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu
4
2014
Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060
Körnlein, Daniel; Kohlenbach, Ulrich
4
2014
Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces. Zbl 1307.47078
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2013
Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces. Zbl 1316.47056
Körnlein, Daniel; Kohlenbach, Ulrich
4
2011
On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056
Kohlenbach, Ulrich
4
2010
Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056
Gerhardy, Philipp; Kohlenbach, Ulrich
4
2005
On weak Markov’s principle. Zbl 1044.03046
Kohlenbach, Ulrich
4
2002
The use of a logical principle of uniform boundedness in analysis. Zbl 0954.03065
Kohlenbach, Ulrich
4
1999
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Zbl 0945.03088
Kohlenbach, Ulrich
4
1998
Proof theory and computational analysis. Zbl 0917.68196
Kohlenbach, Ulrich
4
1997
Moduli of regularity and rates of convergence for Fejér monotone sequences. Zbl 07093077
Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
3
2019
Quantitative results on Fejér monotone sequences. Zbl 06814506
Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana
2
2018
On the disjunctive Markov principle. Zbl 1330.03091
Kohlenbach, Ulrich
2
2015
On the asymptotic behavior of odd operators. Zbl 1221.47094
Kohlenbach, Ulrich
2
2011
On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045
Gaspar, Jaime; Kohlenbach, Ulrich
2
2010
A complexity analysis of functional interpretations. Zbl 1096.03071
Hernest, Mircea-Dan; Kohlenbach, Ulrich
2
2005
A note on Goodman’s theorem. Zbl 0988.03089
Kohlenbach, Ulrich
2
1999
Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 07242658
Kohlenbach, Ulrich; Powell, Thomas
1
2020
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
1
2019
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311
Kohlenbach, Ulrich
1
2019
Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062
Kohlenbach, Ulrich
1
2018
On proximal mappings with Young functions in uniformly convex Banach spaces. Zbl 1410.46005
Bačák, Miroslav; Kohlenbach, Ulrich
1
2018
Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
1
2016
Gödel’s functional interpretation and its use in current mathematics. Zbl 1408.03035
Kohlenbach, Ulrich
1
2011
A note on the \(\Pi_ 2^ 0\)-induction rule. Zbl 0831.03032
Kohlenbach, Ulrich
1
1995
Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 07242658
Kohlenbach, Ulrich; Powell, Thomas
1
2020
Moduli of regularity and rates of convergence for Fejér monotone sequences. Zbl 07093077
Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
3
2019
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
1
2019
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311
Kohlenbach, Ulrich
1
2019
Quantitative results on Fejér monotone sequences. Zbl 06814506
Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana
2
2018
Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062
Kohlenbach, Ulrich
1
2018
On proximal mappings with Young functions in uniformly convex Banach spaces. Zbl 1410.46005
Bačák, Miroslav; Kohlenbach, Ulrich
1
2018
Quantitative asymptotic regularity results for the composition of two mappings. Zbl 06774319
Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
6
2017
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038
Kohlenbach, Ulrich
5
2016
Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078
Günzel, Daniel; Kohlenbach, Ulrich
5
2016
Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
1
2016
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
7
2015
On the disjunctive Markov principle. Zbl 1330.03091
Kohlenbach, Ulrich
2
2015
Fluctuations, effective learnability and metastability in analysis. Zbl 1319.03062
Kohlenbach, Ulrich; Safarik, Pavol
5
2014
Quantitative image recovery theorems. Zbl 1307.47059
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2014
Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044
Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu
4
2014
Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060
Körnlein, Daniel; Kohlenbach, Ulrich
4
2014
Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces. Zbl 1307.47078
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2013
On the computational content of convergence proofs via Banach limits. Zbl 1329.03094
Kohlenbach, U.; Leuştean, L.
14
2012
Effective metastability of Halpern iterates in \(CAT(0)\) spaces. Zbl 1270.47060
Kohlenbach, U.; Leuştean, L.
12
2012
A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093
Kohlenbach, Ulrich
7
2012
Effective metastability for modified halpern iterations in CAT(0) spaces. Zbl 06235289
Schade, K.; Kohlenbach, U.
6
2012
Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112
Kohlenbach, Ulrich; Kreuzer, Alexander P.
6
2012
On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041
Kohlenbach, Ulrich
20
2011
Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces. Zbl 1316.47056
Körnlein, Daniel; Kohlenbach, Ulrich
4
2011
On the asymptotic behavior of odd operators. Zbl 1221.47094
Kohlenbach, Ulrich
2
2011
Gödel’s functional interpretation and its use in current mathematics. Zbl 1408.03035
Kohlenbach, Ulrich
1
2011
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057
Kohlenbach, Ulrich; Leuştean, Laurentiu
24
2010
On the computational content of the Bolzano-Weierstraß principle. Zbl 1209.03046
Safarik, Pavol; Kohlenbach, Ulrich
7
2010
On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056
Kohlenbach, Ulrich
4
2010
On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045
Gaspar, Jaime; Kohlenbach, Ulrich
2
2010
A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005
Kohlenbach, U.; Leuştean, L.
12
2009
Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059
Kreuzer, Alexander; Kohlenbach, Ulrich
6
2009
Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002
Kohlenbach, Ulrich
125
2008
General logical metatheorems for functional analysis. Zbl 1130.03036
Gerhardy, Philipp; Kohlenbach, Ulrich
37
2008
Effective uniform bounds from proofs in abstract functional analysis. Zbl 1154.46043
Kohlenbach, Ulrich
6
2008
The approximate fixed point property in product spaces. Zbl 1118.47047
Kohlenbach, U.; Leuştean, L.
9
2007
Shoenfield is Gödel after Krivine. Zbl 1154.03036
Streicher, Thomas; Kohlenbach, Ulrich
8
2007
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
5
2007
Strongly uniform bounds from semi-constructive proofs. Zbl 1099.03048
Gerhardy, Philipp; Kohlenbach, Ulrich
9
2006
A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Zbl 1262.54020
Kohlenbach, Ulrich
5
2006
Some logical metatheorems with applications in functional analysis. Zbl 1079.03046
Kohlenbach, Ulrich
108
2005
Higher order reverse mathematics. Zbl 1097.03053
Kohlenbach, Ulrich
41
2005
Some computational aspects of metric fixed-point theory. Zbl 1086.47021
Kohlenbach, Ulrich
8
2005
Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056
Gerhardy, Philipp; Kohlenbach, Ulrich
4
2005
A complexity analysis of functional interpretations. Zbl 1096.03071
Hernest, Mircea-Dan; Kohlenbach, Ulrich
2
2005
Bounds on iterations of asymptotically quasi-nonexpansive mappings. Zbl 1089.47053
Kohlenbach, Ulrich; Lambov, Branimir
7
2004
Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045
Kohlenbach, U.; Oliva, P.
17
2003
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037
Kohlenbach, Ulrich; Laurenţiu, Leuştean
16
2003
Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045
Kohlenbach, Ulrich
16
2003
Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040
Kohlenbach, Ulrich; Oliva, Paulo
6
2003
Foundational and mathematical uses of higher types. Zbl 1022.03044
Kohlenbach, Ulrich
12
2002
On uniform weak König’s lemma. Zbl 1001.03052
Kohlenbach, Ulrich
9
2002
On weak Markov’s principle. Zbl 1044.03046
Kohlenbach, Ulrich
4
2002
A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035
Kohlenbach, Ulrich
15
2001
A note on Spector’s quantifier-free rule of extensionality. Zbl 0980.03058
Kohlenbach, Ulrich
8
2001
On the computational content of the Krasnoselski and Ishikawa fixed point theorems. Zbl 0985.03048
Kohlenbach, Ulrich
7
2001
Things that can and things that cannot be done in PRA. Zbl 0958.03039
Kohlenbach, Ulrich
8
2000
On the no-counterexample interpretation. Zbl 0960.03047
Kohlenbach, Ulrich
13
1999
The use of a logical principle of uniform boundedness in analysis. Zbl 0954.03065
Kohlenbach, Ulrich
4
1999
A note on Goodman’s theorem. Zbl 0988.03089
Kohlenbach, Ulrich
2
1999
Arithmetizing proofs in analysis. Zbl 0919.03046
Kohlenbach, Ulrich
12
1998
Elimination of Skolem functions for monotone formulas in analysis. Zbl 0916.03040
Kohlenbach, Ulrich
9
1998
Relative constructivity. Zbl 0928.03065
Kohlenbach, Ulrich
7
1998
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Zbl 0945.03088
Kohlenbach, Ulrich
4
1998
Proof theory and computational analysis. Zbl 0917.68196
Kohlenbach, Ulrich
4
1997
Analysing proofs in analysis. Zbl 0881.03032
Kohlenbach, Ulrich
22
1996
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050
Kohlenbach, Ulrich
20
1996
A note on the \(\Pi_ 2^ 0\)-induction rule. Zbl 0831.03032
Kohlenbach, Ulrich
1
1995
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin’s proof for Chebycheff approximation. Zbl 0795.03086
Kohlenbach, Ulrich
23
1993
New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory. Zbl 0795.41020
Kohlenbach, Ulrich
6
1993
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051
Kohlenbach, Ulrich
19
1992
Pointwise hereditary majorization and some applications. Zbl 0729.03031
Kohlenbach, Ulrich
14
1992
Remarks on Herbrand normal forms and Herbrand realizations. Zbl 0742.03021
Kohlenbach, Ulrich
6
1992
Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen. Zbl 0744.03056
Kohlenbach, Ulrich Wilhelm
7
1990
all top 5

Cited by 279 Authors

53 Kohlenbach, Ulrich Wilhelm
16 Leuştean, Laurenţiu
13 Nicolae, Adriana
13 Sanders, Sam
12 Oliva, Paulo
9 Ferreira, Fernando
9 Fukhar-Ud-Din, Hafiz
8 Kreuzer, Alexander P.
7 Avigad, Jeremy
7 Brattka, Vasco
7 Powell, Thomas M.
6 Fujiwara, Makoto
6 Khan, Muhammad Aqeel Ahmad
6 Sipoş, Andrei
5 Dashputre, Samir
5 Espínola García, Rafael
5 Gerhardy, Philipp
5 Hetzl, Stefan
5 Safarik, Pavol
4 Briseid, Eyvind Martol
4 Dorais, François Gilbert
4 Fernández-León, Aurora
4 Gaspar, Jaime
4 Hernest, Mircea-Dan
4 Ishihara, Hajime
4 Khan, Safeer Hussain
4 Kirk, William Arthur
4 Phuengrattana, Withun
4 Riba, Colin
4 Towsner, Henry
4 Van den Berg, Benno
3 Abbas, Mujahid
3 Ariza-Ruiz, David
3 Basarir, Metin
3 Berardi, Stefano
3 Berger, Josef
3 Berger, Ulrich
3 Bridges, Douglas Suth
3 Ferreira, Fernando Fagundes
3 Ferreira, Gilda
3 Gherardi, Guido
3 Kalsoom, Amna
3 Kim, Jong Kyu
3 Körnlein, Daniel
3 Koutsoukou-Argyraki, Angeliki
3 López Acedo, Genaro
3 Nemoto, Takako
3 Normann, Dag
3 Panyanak, Bancha
3 Postolache, Mihai
3 Şahin, Aynur
3 Schuster, Peter Michael
3 Schwichtenberg, Helmut
3 Shahzad, Naseer
3 Steila, Silvia
2 Abkar, Ali
2 Aggarwal, Sajan
2 Alghamdi, Maryam A.
2 Aschieri, Federico
2 Bauschke, Heinz H.
2 Chang, Shih-Sen
2 Chuadchawna, Preeyalak
2 Chugh, Renu
2 Cominetti, Roberto
2 Cui, Yunan
2 Cuntavepanit, Asawathep
2 Engrácia, Patrícia
2 Farajzadeh, Ali P.
2 Gunduz, Birol
2 Hendtlass, Matthew Ralph John
2 Hirst, Jeffry Lynn
2 Hötzel Escardó, Martín
2 Hussain, Nawab
2 Kaewcharoen, Anchalee
2 Kang, Shin Min
2 Karapınar, Erdal
2 Katz, Mikhail G.
2 Kawai, Tatsuji
2 Khamsi, Mohamed Amine
2 Khan, M. Sulaiman
2 Kreinovich, Vladik Yakovlevich
2 Kumar, Vivek
2 Leitsch, Alexander
2 Malagar, Bhuwan Lal
2 Malik, Preety
2 Maniu, Georgeta
2 Mileti, Joseph R.
2 Moursi, Walaa M.
2 Pant, Rajendra
2 Powell, Thomas D.
2 Pradic, Pierre
2 Reich, Simeon
2 Shore, Richard A.
2 Uddin, Izhar
2 Wan, Lili
1 Aamri, Mohamed
1 Abramsky, Samson
1 Afshari, Bahareh
1 Ahmad, Junaid
1 Akbulut, Sezgin
...and 179 more Authors
all top 5

Cited in 80 Serials

45 Annals of Pure and Applied Logic
28 The Journal of Symbolic Logic
19 Fixed Point Theory and Applications
16 Journal of Mathematical Analysis and Applications
16 Archive for Mathematical Logic
10 Mathematical Logic Quarterly (MLQ)
7 Advances in Mathematics
7 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
7 Notre Dame Journal of Formal Logic
7 The Bulletin of Symbolic Logic
6 Numerical Functional Analysis and Optimization
6 Journal of Nonlinear Science and Applications
5 Israel Journal of Mathematics
5 Transactions of the American Mathematical Society
5 Journal of Inequalities and Applications
4 Applied Mathematics and Computation
4 MSCS. Mathematical Structures in Computer Science
4 Indagationes Mathematicae. New Series
4 Logical Methods in Computer Science
3 Studia Logica
3 Ergodic Theory and Dynamical Systems
3 Journal of Convex Analysis
3 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
3 Communications in Contemporary Mathematics
3 Journal of Mathematical Logic
3 The Journal of Logic and Algebraic Programming
3 Journal of Fixed Point Theory and Applications
3 Journal of Function Spaces
2 Computers & Mathematics with Applications
2 International Journal of Mathematics and Mathematical Sciences
2 Theoretical Computer Science
2 Historia Mathematica
2 Abstract and Applied Analysis
2 Foundations of Computational Mathematics
2 The Review of Symbolic Logic
2 Applied General Topology
2 Mathematical Sciences
2 Journal of Mathematics
2 Korean Journal of Mathematics
1 International Journal of Theoretical Physics
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Demonstratio Mathematica
1 Fuzzy Sets and Systems
1 Journal of Optimization Theory and Applications
1 Mathematics of Operations Research
1 Mathematische Zeitschrift
1 Memoirs of the American Mathematical Society
1 Monatshefte für Mathematik
1 Proceedings of the American Mathematical Society
1 Results in Mathematics
1 Synthese
1 Topology and its Applications
1 Optimization
1 Journal of Complexity
1 Journal of Automated Reasoning
1 Journal of Global Optimization
1 Numerical Algorithms
1 Bulletin of the American Mathematical Society. New Series
1 Topological Methods in Nonlinear Analysis
1 Boletín de la Sociedad Matemática Mexicana. Third Series
1 Documenta Mathematica
1 Theory of Computing Systems
1 Optimization Methods & Software
1 Journal of the European Mathematical Society (JEMS)
1 Communications of the Korean Mathematical Society
1 Journal of Applied Mathematics
1 Thai Journal of Mathematics
1 Logica Universalis
1 Optimization Letters
1 European Journal of Pure and Applied Mathematics
1 Nonlinear Analysis. Hybrid Systems
1 Journal of Mathematics and Computer Science. JMCS
1 Philosophy Compass
1 Bulletin of Mathematical Sciences
1 Iranian Journal of Mathematical Sciences and Informatics
1 Palestine Journal of Mathematics
1 Mathematics
1 Chinese Journal of Mathematics
1 Cogent Mathematics
1 Waves, Wavelets and Fractals. Advanced Analysis

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.