Elementary number theory problems. VI (Q6489415): Difference between revisions

@@ 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 @@
+On square-free numbers
@@ Property / cites work: On square-free numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Polygonal numbers
@@ Property / cites work: Polygonal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Dataset description: formalization of elementary number theory in Mizar
+Normal rank