The mathematical information system MathTree
Yu. L. Ershov, Ольга Анатольевна Клименко, И. И. Матвеева, V. V. Pickalov · Russian Mathematical Surveys · 2007
This article describes the mathematical information system MathTree, created and developed in the Siberian Branch of the Russian Academy of Sciences. Its potentials, current status, and prospects for future development are discussed.