Методы Big Math и интеграция математических знаний

Abstract

Разработаны подходы к управлению большими коллекциями цифровых математических документов, основанные на семантических методах и согласующиеся с принципами WDML, а также относящиеся к направлениям, составляющим Big Math.