Differential equations on functions from R into real Banach space

DOI10.2478/FORMA-2013-0028MaRDI QIDQ467802zbMATHOpenAlexFDO

Authors Keiko Narita, Noboru Endou, Yasunari Shidama

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)

Recommendations

• scientific article; zbMATH DE number 1220979
• scientific article; zbMATH DE number 3158262
• scientific article; zbMATH DE number 5847634
• Differential equations in a Banach space
• scientific article; zbMATH DE number 3912818
• On solutions of differential equations in Banach space on the whole real axis
• scientific article; zbMATH DE number 605345
• On a class of differential equations in Banach space
• On solutions of differential equations in Banach spaces

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• scientific article; zbMATH DE number 3272330 (Why is no real title available?)
• Contracting mapping on normed linear space
• Differentiable functions into real normed spaces
• Differentiable functions on normed linear spaces
• More on continuous functions on normed linear spaces
• Riemann integral of functions from \(\mathbb R\) into real normed space
• Semantics of MML query -- ordering
• The differentiable functions from \(\mathbb R\) into \(\mathcal R^n\)
• The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space

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

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