TY  - JOUR
AU  - A. N. Vodomerov
TI  - The construction of a T-system formal model and the proof of its correctness
JO  - Numerical methods and programming
PY  - 2006
SP  - 71
EP  - 78
VL  - 7
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a12/
LA  - ru
ID  - VMP_2006_7_3_a12
ER  -