Efficient Elimination of Redundancies in Polyhedra by Raytracing (Q2961577): Difference between revisions

@@ Property / describes a project that uses @@
+PolyLib
@@ Property / describes a project that uses: PolyLib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Verasco
@@ Property / describes a project that uses: Verasco / 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.1007/978-3-319-52234-0_20
+Normal rank
@@ Property / OpenAlex ID @@
+W2546000176
@@ Property / OpenAlex ID: W2546000176 / rank @@
+Normal rank
@@ Property / cites work @@
+LAPACK Users' Guide
@@ Property / cites work: LAPACK Users' Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of polyhedral computations to the analysis and verification of hardware and software systems
+Normal rank
@@ Property / cites work @@
+Computing convex hulls with a linear solver
@@ Property / cites work: Computing convex hulls with a linear solver / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for discovering the set of all the solutions of a linear programming problem
+Normal rank
@@ Property / cites work @@
+Q4079613
@@ Property / cites work: Q4079613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3236240
@@ Property / cites work: Q3236240 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Elimination of Redundancies in Polyhedra by Raytracing
+Normal rank
@@ Property / cites work @@
+Q5817857
@@ Property / cites work: Q5817857 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+New modification of the double description method for constructing the skeleton of a polyhedral cone
+Normal rank