scientific article; zbMATH DE number 6983477
From MaRDI portal
Publication:4555782
Publication date: 23 November 2018
Full work available at URL: http://logicandanalysis.org/index.php/jla/article/download/301/141
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed point theorynonexpansive semigroupproof miningrate of asymptotic regularityKuhfittig iterationcomputable bound extraction
Semigroups of nonlinear operators (47H20) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (4)
Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ Asymptotic regularity, fixed points and successive approximations ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
This page was built for publication:
