[Formalized Mathematics] Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces.pdf (268.4 kB)
sha256
81e889860edfd4d6e8671bb5760427a72c686b008ca3efd6593f314cf083b3f0
|
|
[Formalized Mathematics] Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces.pdf
343357b5-e0bb-4fd2-bc17-fa6a588e84c4
https://soar-ir.repo.nii.ac.jp/record/18421/files/[Formalized Mathematics] Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces.pdf