A constructive algorithm for folding large-scale systems of linear inequalities (Q6191500)
From MaRDI portal
scientific article; zbMATH DE number 7814514
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A constructive algorithm for folding large-scale systems of linear inequalities |
scientific article; zbMATH DE number 7814514 |
Statements
A constructive algorithm for folding large-scale systems of linear inequalities (English)
0 references
7 March 2024
0 references
convex polyhedra
0 references
linear inequalities
0 references
orthogonal projection method
0 references
Fourier-Chernikov algorithm
0 references
coordination of ranges
0 references
redundant inequalities
0 references
complete elimination of redundant inequalities
0 references
simplex method
0 references
elimination of redundant inequalities with coarsening
0 references
numerical experiments
0 references