Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems (Q2835688): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cutgeneratingfunctionology
@@ Property / describes a project that uses: cutgeneratingfunctionology / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+infinite group relaxation
@@ Property / describes a project that uses: infinite group relaxation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PORTA
@@ Property / describes a project that uses: PORTA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2340911864
@@ Property / OpenAlex ID: W2340911864 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03649
@@ Property / arXiv ID: 1604.03649 / rank @@
+Normal rank