2024-03-29T08:05:13Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018414
2022-12-14T04:05:36Z
1221:1222
Formalization of Integral Linear Space
Futa, Yuichi
Okazaki, Hiroyuki
Shidama, Yasunari
© 2011 University of Białystok
Article
Formalized Mathematics. 19(1): 61-64 (2011)
De Gruyter Open
2011-03
eng
journal article
VoR
http://hdl.handle.net/10091/00019176
https://soar-ir.repo.nii.ac.jp/records/18414
https://doi.org/10.2478/v10037-011-0010-9
10.2478/v10037-011-0010-9
1898-9934
Formalized Mathematics
19
1
61
64
https://soar-ir.repo.nii.ac.jp/record/18414/files/[Formalized Mathematics] Formalization of Integral Linear Space.pdf
application/pdf
258.8 kB
2016-09-14