TY  - JOUR
AU  - Yu. L. Ershov
AU  - O. A. Klimenko
AU  - I. I. Matveeva
AU  - V. V. Pickalov
TI  - The mathematical information system MathTree
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2007
SP  - 967
EP  - 976
VL  - 62
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2007_62_5_a3/
LA  - en
ID  - RM_2007_62_5_a3
ER  -