Operations of Points on Elliptic Curve in Projective Coordinates
抄録
Article
Formalized Mathematics. 20(1): 87-95 (2012)
収録刊行物
-
- Formalized Mathematics
-
Formalized Mathematics 20 (1), 87-95, 2012-01
De Gruyter Open
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050564288879644288
-
- NII論文ID
- 120007101132
-
- ISSN
- 18989934
- 14262630
-
- HANDLE
- 10091/00019171
-
- 本文言語コード
- en
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- Crossref
- CiNii Articles
- KAKEN