Automated conjecture making in number theory using HR, Otter and Maple (Q2456561): Difference between revisions

@@ Property / describes a project that uses @@
+GRAFFITI
@@ Property / describes a project that uses: GRAFFITI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+tptp2X
@@ Property / describes a project that uses: tptp2X / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathWeb
@@ Property / describes a project that uses: MathWeb / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HR
@@ Property / describes a project that uses: HR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1969189678
@@ Property / OpenAlex ID: W1969189678 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115046816
@@ Property / Wikidata QID: Q115046816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499159
@@ Property / cites work: Q4499159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4233444
@@ Property / cites work: Q4233444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3006508
@@ Property / cites work: Q3006508 / rank @@
+Normal rank
@@ Property / cites work @@
+On the notion of interestingness in automated mathematical discovery
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475664
@@ Property / cites work: Q4475664 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal discovery
@@ Property / cites work: Clausal discovery / rank @@
+Normal rank
@@ Property / cites work @@
+On conjectures of Graffiti
@@ Property / cites work: On conjectures of Graffiti / rank @@
+Normal rank
@@ Property / cites work @@
+Tau numbers, natural density, and Hardy and Wright's theorem 437
+Normal rank
@@ Property / cites work @@
+Q3938537
@@ Property / cites work: Q3938537 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Zariski spaces over Zariski topologies
+Normal rank
@@ Property / cites work @@
+Single axioms for groups and abelian groups with various operations
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4868571
@@ Property / cites work: Q4868571 / rank @@
+Normal rank