Formalization of Definitions and Theorems Related to an...

Journal of Automated Reasoning 2013 / 02 Vol. 50; Iss. 2

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
50
Language:
english
DOI:
10.1007/s10817-012-9265-2
Date:
February, 2013
File:
PDF, 286 KB
english, 2013
Conversion to is in progress
Conversion to is failed