Extending numeric automation for number theory formalizations in Mizar (Q6118848): Difference between revisions

@@ Property / cites work @@
+The role of the Mizar mathematical library for interactive proof development in Mizar
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
+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 @@
+Elementary number theory problems. I
@@ Property / cites work: Elementary number theory problems. I / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612606
@@ Property / cites work: Q5612606 / rank @@
+Normal rank