Methods of Processing Large Collections of Scientific Documents and the Formation of Digital Mathematical Library.