Fast method for verifying Chernikov rules in Fourier-Motzkin elimination (Q2354428)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fast method for verifying Chernikov rules in Fourier-Motzkin elimination |
scientific article |
Statements
Fast method for verifying Chernikov rules in Fourier-Motzkin elimination (English)
0 references
13 July 2015
0 references
system of linear inequalities
0 references
polyhedron
0 references
elimination of variables
0 references
Fourier-Motzkin elimination
0 references
Chernikov rules
0 references
numerical result
0 references
0 references
