Formal Proof of the Group Law for Edwards Elliptic Curves (Q5049006): Difference between revisions

@@ Property / describes a project that uses @@
+NaCl
@@ Property / describes a project that uses: NaCl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isar
@@ Property / describes a project that uses: Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3046858693
@@ Property / OpenAlex ID: W3046858693 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster computation of the Tate pairing
@@ Property / cites work: Faster computation of the Tate pairing / rank @@
+Normal rank
@@ Property / cites work @@
+Twisted Edwards Curves
@@ Property / cites work: Twisted Edwards Curves / rank @@
+Normal rank
@@ Property / cites work @@
+Q3043950
@@ Property / cites work: Q3043950 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Addition and Doubling on Elliptic Curves
@@ Property / cites work: Faster Addition and Doubling on Elliptic Curves / rank @@
+Normal rank
@@ Property / cites work @@
+The Security Impact of a New Cryptographic Library
+Normal rank
@@ Property / cites work @@
+A Formal Library for Elliptic Curves in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+Context Aware Calculation and Deduction
@@ Property / cites work: Context Aware Calculation and Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+A normal form for elliptic curves
@@ Property / cites work: A normal form for elliptic curves / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of the group law for elliptic curves
+Normal rank
@@ Property / cites work @@
+Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
+Normal rank
@@ Property / cites work @@
+Primality Proving with Elliptic Curves
@@ Property / cites work: Primality Proving with Elliptic Curves / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5049006