A formalization of convex polyhedra based on the simplex method (Q5915783): Difference between revisions

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 6821842
+scientific article; zbMATH DE number 7096718
@@ Property / zbMATH Open document ID @@
+.68316
@@ Property / zbMATH Open document ID: 1468.68316 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/s10817-018-9477-1
@@ Property / DOI: 10.1007/s10817-018-9477-1 / rank @@
+Normal rank
@@ Property / published in @@
+Journal of Automated Reasoning
@@ Property / published in: Journal of Automated Reasoning / rank @@
+Normal rank
@@ Property / publication date @@
+August 2019Timestamp +2019-08-21T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2019-08-21T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 21 August 2019 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7096718
@@ Property / zbMATH DE Number: 7096718 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Vass
@@ Property / describes a project that uses: Vass / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2886753998
@@ Property / OpenAlex ID: W2886753998 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10269
@@ Property / arXiv ID: 1706.10269 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+convex polyhedra
@@ Property / zbMATH Keywords: convex polyhedra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear programming
@@ Property / zbMATH Keywords: linear programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+simplex method
@@ Property / zbMATH Keywords: simplex method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formalization of mathematics
@@ Property / zbMATH Keywords: formalization of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra
+Normal rank
@@ Property / cites work @@
+Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
+Normal rank
@@ Property / cites work @@
+More bounds on the diameters of convex polytopes
@@ Property / cites work: More bounds on the diameters of convex polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+Refinements for Free!
@@ Property / cites work: Refinements for Free! / rank @@
+Normal rank
@@ Property / cites work @@
+Q5808752
@@ Property / cites work: Q5808752 / rank @@
+Normal rank
@@ Property / cites work @@
+The generalized simplex method for minimizing a linear form under linear inequality restraints
+Normal rank
@@ Property / cites work @@
+Point-Free, Set-Free Concrete Linear Algebra
@@ Property / cites work: Point-Free, Set-Free Concrete Linear Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Polytope Lyapunov functions for stable and for stabilizable LSS
+Normal rank
@@ Property / cites work @@
+The HOL Light theory of Euclidean space
@@ Property / cites work: The HOL Light theory of Euclidean space / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms in linear programming
@@ Property / cites work: Polynomial algorithms in linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample to the Hirsch conjecture
@@ Property / cites work: A counterexample to the Hirsch conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical problems for the next century
@@ Property / cites work: Mathematical problems for the next century / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Incremental Simplex Algorithm by Stepwise Refinement
+Normal rank
@@ Property / cites work @@
+A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
+Normal rank
@@ Property / cites work @@
+Fast LCF-Style Proof Reconstruction for Z3
@@ Property / cites work: Fast LCF-Style Proof Reconstruction for Z3 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Programs and Convex Hulls Over Fields of Puiseux Fractions
+Normal rank
@@ Property / cites work @@
+The width of five-dimensional prismatoids
@@ Property / cites work: The width of five-dimensional prismatoids / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank