Где находится библиотека, которую возглавлял ученый, от имени которого пошло слово "алгоритм" ?