Torsion Z-module and Torsion-free Z-module - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama. Torsion Z-module and Torsion-free Z-module. Formalized Mathematics, 22(4):277-289, 2014. [doi]

This author has not been identified. Look up 'Yuichi Futa' in GoogleThis author has not been identified. Look up 'Hiroyuki Okazaki' in GoogleThis author has not been identified. Look up 'Kazuhisa Nakasho' in GoogleThis author has not been identified. Look up 'Yasunari Shidama' in Google

runs on WebDSL