"Giovini et al. Selection strategies in Buchberger algorithm (ISSAC91)(T)(6s).djvu" - читать интересную книгу автора