Przeglądaj przez Autor Futa, Yuichi
Pokazuję rezultaty 5 do 24 z 27
< Porzedni
Dalej >
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2017 | Embedded Lattice and Properties of Gram Matrix | Futa, Yuichi; Shidama, Yasunari | - | - |
2011 | Formalization of Integral Linear Space | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Gaussian Integers | Futa, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari | - | - |
2017 | Implicit Function Theorem. Part I | Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari | - | - |
2021 | Inverse Function Theorem. Part I | Nakasho, Kazuhisa; Futa, Yuichi | - | - |
2013 | Isometric Differentiable Functions on Real Normed Space | Futa, Yuichi; Endou, Noboru; Shidama, Yasunari | - | - |
2022 | Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces | Nakasho, Kazuhisa; Futa, Yuichi | - | - |
2017 | Isomorphism Theorem on Vector Spaces over a Ring | Futa, Yuichi; Shidama, Yasunari | - | - |
2016 | Lattice of ℤ-module | Futa, Yuichi; Shidama, Yasunari | - | - |
2015 | Matrix of ℤ-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2019 | Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm | Okazaki, Hiroyuki; Nagao, Koh-ichi; Futa, Yuichi | - | - |
2019 | Operations of Points on Elliptic Curve in Affine Coordinates | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Operations of Points on Elliptic Curve in Projective Coordinates | Futa, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari | - | - |
2015 | Polynomially Bounded Sequences and Polynomial Sequences | Okazaki, Hiroyuki; Futa, Yuichi | - | - |
2012 | Quotient Module of Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2014 | Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module | Nakasho, Kazuhisa; Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2011 | Set of Points on Elliptic Curve in Projective Coordinates | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Submodule of free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2014 | Topological Properties of Real Normed Space | Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari | - | - |