scientific article; zbMATH DE number 6737459

zbMath1368.47001MaRDI QIDQ5272532

Angeliki Koutsoukou-Argyraki

Publication date: 30 June 2017

Full work available at URL: http://d-nb.info/1128310058/34

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Banach spacesNavier-Stokes equationsweak solutionsabstract Cauchy problemsone-parameter nonexpansive semigroupstheory of partial differential equationsaccretivity conditionsapplications of proof miningKrasnoselskii's iteration schemaKuhfittig's iteration schemaset-valued nonlinear operators

Mathematics Subject Classification ID

Semigroups of nonlinear operators (47H20) Nonlinear accretive operators, dissipative operators, etc. (47H06) Research exposition (monographs, survey articles) pertaining to operator theory (47-02) Functionals in proof theory (03F10)

Related Items (2)

Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy

This page was built for publication: