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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-42753-4_23
+Normal rank
@@ Property / OpenAlex ID @@
+W4386297760
@@ Property / OpenAlex ID: W4386297760 / rank @@
+Normal rank
@@ 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
@@ Property / cites work @@
+Elementary number theory problems. VI
@@ Property / cites work: Elementary number theory problems. VI / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary number theory problems. III
@@ Property / cites work: Elementary number theory problems. III / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary number theory problems. IV
@@ Property / cites work: Elementary number theory problems. IV / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary number theory problems. V
@@ Property / cites work: Elementary number theory problems. V / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6118848