高石三井 使用质心法的等腰三角形和等腰梯形隶属函数。 (英语) Zbl 07771369号 福尔马利兹。数学。 31,第1号,59-66(2023)。理学硕士:68V20型 03E72型 93立方厘米 94D05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mitsuishi},形式主义。数学。31,编号1,59-66(2023;兹bl 07771369) 全文: 内政部 OA许可证
冈崎弘之 关于向量集正交化的Gram-Schmidt过程的形式化。 (英语) Zbl 07771368号 福尔马利兹。数学。 31,编号1,53-57(2023)。理学硕士:68V20型 65层25 94A11号机组 97小时60 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki},福尔马利兹。数学。31,编号1,53-57(2023;Zbl 07771368) 全文: 内政部 OA许可证
福田,Yuichi;冈崎弘之;Yasunai Shidama 椭圆曲线上点在仿射坐标下的运算。 (英语) Zbl 1433.68576号 福尔马利兹。数学。 27、3号、315-320(2020年)。理学硕士:68V20型 14G50型 14H52型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}等人,Formaliz。数学。27,第3号,315--320(2020;Zbl 1433.68576) 全文: 内政部