%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