Adrian Nicolae

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	A Proof-Theoretic Bound Extraction Theorem for CAT $$(\kappa )$$ ( κ ) -Spaces	2017	Ulrich Kohlenbach Adrian Nicolae

Common Coauthors

Coauthor	Papers Together
Ulrich Kohlenbach	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach	1
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach	1
+	Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation	1993	Ulrich Kohlenbach	1
+	<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="normal">CAT</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>k</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math>-spaces, weak convergence and fixed points	2008	Rafa Espínola Aurora Fernández-León	1
+	Metric Spaces of Non-Positive Curvature	1999	Martin R. Bridson André Haefliger	1
+	Halpern iteration in CAT(κ) spaces	2011	Bożena Piątek	1
+	Logical metatheorems for abstract spaces axiomatized in positive bounded logic	2015	Daniel Günzel Ulrich Kohlenbach	1
+	A $K$-quadrilateral cosine characterization of Aleksandrov spaces of curvature bounded above	2015	Ina Berg Igor Nikolaev	1
+	Chebyshev sets in geodesic spaces	2016	David Ariza‐Ruiz Aurora Fernández-León Genaro López-Acedo Adriana Nicolae	1
+	On the quantitative asymptotic behavior of strongly nonexpansive mappings in banach and geodesic spaces	2016	Ulrich Kohlenbach	1
+	A variant of continuous logic and applications to fixed point theory	2016	Simon Cho	1
+ PDF Chat	Effective results on nonlinear ergodic averages in CAT spaces	2015	Laurenţiu Leuştean Adriana Nicolae	1
+	Applied Proof Theory: Proof Interpretations and Their Use in Mathematics	2008	Ulrich Kohlenbach	1