Classification of finite fields with applications (Q2323448): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-018-9485-1
@@ Property / DOI: 10.1007/s10817-018-9485-1 / rank @@
-Normal rank
@@ Property / author @@
-Hing-Lun Chan
@@ Property / author: Hing-Lun Chan / rank @@
-Normal rank
@@ Property / author @@
+Hing-Lun Chan
@@ Property / author: Hing-Lun Chan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+finfield.v
@@ Property / describes a project that uses: finfield.v / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-018-9485-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2898449982
@@ Property / OpenAlex ID: W2898449982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3497621
@@ Property / cites work: Q3497621 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Structures for the Working Coq User
@@ Property / cites work: Canonical Structures for the Working Coq User / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Algebra Done Right
@@ Property / cites work: Linear Algebra Done Right / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Library for Elliptic Curves in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q3216754
@@ Property / cites work: Q3216754 / rank @@
+Normal rank
@@ Property / cites work @@
+Röver's simple group is of type \(F_\infty\)
@@ Property / cites work: Röver's simple group is of type \(F_\infty\) / rank @@
+Normal rank
@@ Property / cites work @@
+A String of Pearls: Proofs of Fermat’s Little Theorem
+Normal rank
@@ Property / cites work @@
+Mechanisation of AKS Algorithm: Part 1 – The Main Theorem
+Normal rank
@@ Property / cites work @@
+Construction of Real Algebraic Numbers in Coq
@@ Property / cites work: Construction of Real Algebraic Numbers in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
+Normal rank
@@ Property / cites work @@
+Formalization of definitions and theorems related to an elliptic curve over a finite prime field by using Mizar
+Normal rank
@@ Property / cites work @@
+Q4004378
@@ Property / cites work: Q4004378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3412601
@@ Property / cites work: Q3412601 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Checked Proof of the Odd Order Theorem
@@ Property / cites work: A Machine-Checked Proof of the Odd Order Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3105730
@@ Property / cites work: Q3105730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4869533
@@ Property / cites work: Q4869533 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of the Miller-Rabin probabilistic primality test.
+Normal rank
@@ Property / cites work @@
+Q3999066
@@ Property / cites work: Q3999066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326397
@@ Property / cites work: Q4326397 / rank @@
+Normal rank
@@ Property / cites work @@
+A course in error-correcting codes.
@@ Property / cites work: A course in error-correcting codes. / rank @@
+Normal rank
@@ Property / cites work @@
+Primality Proving with Elliptic Curves
@@ Property / cites work: Primality Proving with Elliptic Curves / rank @@
+Normal rank
@@ Property / cites work @@
+Q3765876
@@ Property / cites work: Q3765876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813755
@@ Property / cites work: Q3813755 / rank @@
+Normal rank
@@ Property / cites work @@
+A Classical Introduction to Galois Theory
@@ Property / cites work: A Classical Introduction to Galois Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893751
@@ Property / cites work: Q4893751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3407081
@@ Property / cites work: Q3407081 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Numbers in Isabelle/HOL
@@ Property / cites work: Algebraic Numbers in Isabelle/HOL / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-018-9485-1
@@ Property / DOI: 10.1007/S10817-018-9485-1 / rank @@
+Normal rank