Certifying algorithms (Q465678): Difference between revisions

@@ Property / author @@
-Ross M. McConnell
@@ Property / author: Ross M. McConnell / rank @@
-Normal rank
@@ Property / author @@
-Stefan Näher
@@ Property / author: Stefan Näher / rank @@
-Normal rank
@@ Property / author @@
-Pascal Schweitzer
@@ Property / author: Pascal Schweitzer / rank @@
-Normal rank
@@ Property / author @@
+Ross M. McConnell
@@ Property / author: Ross M. McConnell / rank @@
+Normal rank
@@ Property / author @@
+Stefan Näher
@@ Property / author: Stefan Näher / rank @@
+Normal rank
@@ Property / author @@
+Pascal Schweitzer
@@ Property / author: Pascal Schweitzer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SoPlex
@@ Property / describes a project that uses: SoPlex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Concorde
@@ Property / describes a project that uses: Concorde / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CGAL
@@ Property / describes a project that uses: CGAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LEDA
@@ Property / describes a project that uses: LEDA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VCC
@@ Property / describes a project that uses: VCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hull
@@ Property / describes a project that uses: Hull / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cosrev.2010.09.009
+Normal rank
@@ Property / OpenAlex ID @@
+W55887128
@@ Property / OpenAlex ID: W55887128 / rank @@
+Normal rank