Elementary number theory problems. III (Q6489407): Difference between revisions

@@ Property / DOI @@
-.2478/forma-2022-0011
@@ Property / DOI: 10.2478/forma-2022-0011 / rank @@
-Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+The role of the Mizar mathematical library for interactive proof development in Mizar
+Normal rank
@@ Property / cites work @@
+Polygonal numbers
@@ Property / cites work: Polygonal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Flexary connectives in Mizar
@@ Property / cites work: Flexary connectives in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary number theory problems. II
@@ Property / cites work: Elementary number theory problems. II / rank @@
+Normal rank
@@ Property / cites work @@
+Dataset description: formalization of elementary number theory in Mizar
+Normal rank
@@ Property / cites work @@
+Proth numbers
@@ Property / cites work: Proth numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612606
@@ Property / cites work: Q5612606 / rank @@
+Normal rank
@@ Property / DOI @@
+.2478/FORMA-2022-0011
@@ Property / DOI: 10.2478/FORMA-2022-0011 / rank @@
+Normal rank