Keywords: 03D65; 03F03; 03F10; 03F25; Bar recursion; Dialectica interpretation; Program extraction; Countable choice;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03F10; 03F60; 47J25; 47H09Proof mining; Effective bounds; Asymptotic regularity; Strict pseudocontractions; Parallel algorithm
Keywords: 03F10; 03F60; 47H09; 47J25Proof mining; Logical metatheorems; Nonexpansive mappings; Iterative procedures; Asymptotic regularity; Uniformly convex geodesic spaces
Fluctuations, effective learnability and metastability in analysis
Keywords: 03F10; 03F60; 47H25; 37A30; Fluctuations; Effective learnability; Metastability; Proof mining; Nonlinear ergodic theory; Hard analysis;
The bounded functional interpretation of bar induction
Keywords: 03F03; 03F10; 03F35; 03F50; Functional interpretation; Bar induction; Dependent choices;
Effective metastability of Halpern iterates in CAT(0) spaces
Keywords: 47H09; 47H10; 03F10; 53C23Proof mining; Banach limits; Metastability; Nonexpansive mappings; CAT(0) spaces; Halpern iterations
Some computational aspects of metric fixed-point theory
Keywords: 47H09; 47H10; 03F10; Nonexpansive mappings; Fixed point theory; Krasnoselski-Mann iteration; Computable analysis; Proof mining;
Bounded functional interpretation
Keywords: 03F03; 03F10; 03F25; 03F30; 03F35; Functional interpretation; Majorizability; Intuitionism; Proof theory; Proof mining;