External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863

Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama. Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. Formalized Mathematics, 29(3):117-127, 2021. [doi]

Authors

Kazuhisa Nakasho

This author has not been identified. Look up 'Kazuhisa Nakasho' in Google

Hiroyuki Okazaki

This author has not been identified. Look up 'Hiroyuki Okazaki' in Google

Yasunari Shidama

This author has not been identified. Look up 'Yasunari Shidama' in Google
runs on