@第{zbMATH07499761条，作者={Nakasho、Kazuhisa和Okazaki、Hiroyuki和Shidama、Yasunai}，标题={实向量空间和相关概念}，FJournal={形式化数学}，Journal＝{形式化数学}，ISSN={1426-2630}，体积={29}，数字={3}，页码={117--127}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0012}，关键词={68V20,15A03,46B15}，zbMATH={7499761}，Zbl={1483.68492}}