Differential equations on functions from R into real Banach space

DOI10.2478/FORMA-2013-0028zbMATH Open1298.34036OpenAlexW2090044380MaRDI QIDQ467802FDOQ467802

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

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

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

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contracting mapping on normed linear space
• Riemann integral of functions from \(\mathbb 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 \(\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)