scientific article; zbMATH DE number 7585096

MaRDI QIDQ5104552zbMATH OpenFDO

Authors Ulrich Kohlenbach

Publication date 14 September 2022

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx)

Recommendations

• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
• scientific article; zbMATH DE number 52969
• Some Local-Global Principles for Formally Real Fields
• scientific article; zbMATH DE number 3889893
• Local and relativized local finiteness in t-norm based structures
• Local real analysis in locally homogeneous spaces
• On the Local Solvability for Top-Degree Forms in Hypo-Analytic Structures
• Local exactness of top-degree forms in abstract Cauchy-Riemann complexes
• Tameness of Some Locally Trivial Pseudovarieties
• On locally finite varieties with undecidable equational theory.

Cited in

(7)

• Quantitative results on a Halpern-type proximal point algorithm
• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
• Proof mining and probability theory
• Quantitative asymptotic regularity of the VAM iteration with error terms for m-accretive operators in Banach spaces
• A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
• The computational content of super strongly nonexpansive mappings and uniformly monotone operators
• A proof-theoretic bound extraction theorem for monotone operators in Banach spaces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5104552)