Differential equations on functions from \(\mathbb R\) into real Banach space

DOI10.2478/FORMA-2013-0028zbMath1298.34036OpenAlexW2090044380MaRDI QIDQ467802

Keiko Narita, Yasunari Shidama, Noboru Endou

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0028

zbMATH Keywords

formalization of differential equations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General theory for ordinary differential equations (34A99)

Cites Work

• Unnamed Item
• Unnamed Item
• The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
• Contracting Mapping on Normed Linear Space
• Semantics of MML Query - Ordering
• Riemann Integral of Functions from R into Real Normed Space
• More on Continuous Functions on Normed Linear Spaces
• Differentiable Functions into Real Normed Spaces
• Differentiable Functions on Normed Linear Spaces
• The Differentiable Functions from R into Rn

This page was built for publication: Differential equations on functions from \(\mathbb R\) into real Banach space