Geodesic
Fast method for verifying Chernikov rules in Fourier–Motzkin elimination
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 55 (2015) no. 1, pp. 165-172

Voir la notice de l'article provenant de la source Math-Net.Ru

The problem of eliminating unknowns from a system of linear inequalities is considered. A new fast technique for verifying Chernikov rules in Fourier–Motzkin elimination is proposed, which is an adaptation of the “graph” test for adjacency in the double description method. Numerical results are presented that confirm the effectiveness of this technique. 
@article{ZVMMF_2015_55_1_a14,
     author = {S. I. Bastrakov and N. Yu. Zolotykh},
     title = {Fast method for verifying {Chernikov} rules in {Fourier{\textendash}Motzkin} elimination},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {165--172},
     publisher = {mathdoc},
     volume = {55},
     number = {1},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_2015_55_1_a14/}
}
TY  - JOUR
AU  - S. I. Bastrakov
AU  - N. Yu. Zolotykh
TI  - Fast method for verifying Chernikov rules in Fourier–Motzkin elimination
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 2015
SP  - 165
EP  - 172
VL  - 55
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_2015_55_1_a14/
LA  - ru
ID  - ZVMMF_2015_55_1_a14
ER  - 
%0 Journal Article
%A S. I. Bastrakov
%A N. Yu. Zolotykh
%T Fast method for verifying Chernikov rules in Fourier–Motzkin elimination
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 2015
%P 165-172
%V 55
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_2015_55_1_a14/
%G ru
%F ZVMMF_2015_55_1_a14
S. I. Bastrakov; N. Yu. Zolotykh. Fast method for verifying Chernikov rules in Fourier–Motzkin elimination. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 55 (2015) no. 1, pp. 165-172. http://geodesic.mathdoc.fr/item/ZVMMF_2015_55_1_a14/