On May 3, 2024, the mathtree.ru domain changed its owner, who changed the use profile of the site http://www.mathtree.ru
You can find out more about the MathTree project
in the next monograph
in the next monograph
and the article
Y.L. Ershov, O.A. Klimenko, N.A. Mazov, I.I. Matveeva,
V.V.Pikalov, V.E.Filippov, M.Ya.Filippova
Information system of mathematical Internet resources MathTree
Publisher: Publishing House SB RAS, Place of publication: Novosibirsk, Year of publication: 2010, Pages: 288
V.V.Pikalov, V.E.Filippov, M.Ya.Filippova
Information system of mathematical Internet resources MathTree
Publisher: Publishing House SB RAS, Place of publication: Novosibirsk, Year of publication: 2010, Pages: 288
Acad. Yurii Leonidovich Ershov
Screenshot of the Algebra and Logic section of the site http://www.mathtree.ru
Screenshot of the page
http://persons.mathtree.ru/kouznetsov/
http://persons.mathtree.ru/kouznetsov/
The personal page
of Kuznetsov Vladimir Alfeevich
http://persons.mathtree.ru/kouznetsov/
with the publication of seven volumes of his book «Intuitionistic Set Theory»
was located on the website http://www.mathtree.ru
from December 2012 to April 2024.
of Kuznetsov Vladimir Alfeevich
http://persons.mathtree.ru/kouznetsov/
with the publication of seven volumes of his book «Intuitionistic Set Theory»
was located on the website http://www.mathtree.ru
from December 2012 to April 2024.
The MathTree project was presented on the website http://www.mathtree.ru
from 2004 to April 2024
from 2004 to April 2024
Yuri Ershov, Olga Klimenko, Inessa Matveeva, Valery V Pickalov
The mathematical information system MathTree
February 2008 Russian Mathematical Surveys 62(5): 967
DOI:10.1070/RM2007v062n05ABEH004456
The mathematical information system MathTree
February 2008 Russian Mathematical Surveys 62(5): 967
DOI:10.1070/RM2007v062n05ABEH004456
The first, second, third, fourth, fifth, sixth and seventh volumes of Vladimir Alfeevich Kuznetsov’s book «Intuitionistic Set Theory», as well as translations into English of the second, third, fourth, fifth and sixth volumes of this book were published electronically on the website
http://www.mathtree.ru
in the Algebra and Logic section.
http://www.mathtree.ru
in the Algebra and Logic section.
The following research institutes participated in the MathTree project:
• the Sobolev Institute of Mathematics of the Siberian Branch of the RAS;
• the Ershov Institute of Informatics Systems of the Siberian Branch of the RAS;
• the Institute of Computational Mathematics and Mathematical Geophysics
of the Siberian Branch of the RAS;
• the Institute of Computational Technologies of the Siberian Branch of the RAS;
• the Khristianovich Institute of Theoretical and Applied Mechanics of the Siberian Branch of the RAS;
• the Institute of Automation and Electrometry of the Siberian Branch of the RAS;
• the Lavrent’ev Institute of Hydrodynamics of the Siberian Branch of the RAS;
• the Institute for Automation and Control Processes of the Far Eastern Branch of the RAS.
• the Ershov Institute of Informatics Systems of the Siberian Branch of the RAS;
• the Institute of Computational Mathematics and Mathematical Geophysics
of the Siberian Branch of the RAS;
• the Institute of Computational Technologies of the Siberian Branch of the RAS;
• the Khristianovich Institute of Theoretical and Applied Mechanics of the Siberian Branch of the RAS;
• the Institute of Automation and Electrometry of the Siberian Branch of the RAS;
• the Lavrent’ev Institute of Hydrodynamics of the Siberian Branch of the RAS;
• the Institute for Automation and Control Processes of the Far Eastern Branch of the RAS.
The development of the MathTree Information System for Mathematical Internet Resources began in 2003 under the leadership of Academician Yu.L. Ershov within the framework of the SB RAS integration project "Development of a tree catalog of mathematical Internet resources" (2003-2005) and continued within the framework of the interdisciplinary integration project "Tree catalog of mathematical Internet resources" (2006-2008). The need to create the MathTree system was determined by the problem of organizing existing and newly created mathematical resources
