Using machine learning to improve cylindrical algebraic decomposition (Q2009221): Difference between revisions

@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RegularChains
@@ Property / describes a project that uses: RegularChains / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SymbolicData
@@ Property / describes a project that uses: SymbolicData / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WEKA
@@ Property / describes a project that uses: WEKA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProjectionCAD
@@ Property / describes a project that uses: ProjectionCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BranchCuts
@@ Property / describes a project that uses: BranchCuts / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Orbital library
@@ Property / describes a project that uses: Orbital library / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2799015977
@@ Property / OpenAlex ID: W2799015977 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10520
@@ Property / arXiv ID: 1804.10520 / rank @@
+Normal rank