Fermat, Euler, Wilson -- three case studies in number theory (Q1707601): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-016-9387-z
@@ Property / DOI: 10.1007/s10817-016-9387-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NQTHM
@@ Property / describes a project that uses: NQTHM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriFun
@@ Property / describes a project that uses: VeriFun / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-016-9387-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2529619281
@@ Property / OpenAlex ID: W2529619281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Checking the RSA Public Key Encryption Algorithm
+Normal rank
@@ Property / cites work @@
+Q4550802
@@ Property / cites work: Q4550802 / rank @@
+Normal rank
@@ Property / cites work @@
+An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem
+Normal rank
@@ Property / cites work @@
+On proving the termination of algorithms by machine
+Normal rank
@@ Property / cites work @@
+A theorem prover for a computational logic
@@ Property / cites work: A theorem prover for a computational logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-016-9387-Z
@@ Property / DOI: 10.1007/S10817-016-9387-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1707601