(Lie) Софус (1842-99), норв. математик, ин. ч.-к. Петерб. АН (1896). Создал теорию непрерывных групп, имеющую значение для мн. разделов математики и её приложений.
Значение слова ЛИ в Большом российском энциклопедическом словаре
Что такое ЛИ
Большой российский энциклопедический словарь. 2012