Ivan-Dedov / AlgebraColloquiumLinks
Definitions & Proofs for the Linear Algebra colloquium (1st year - HSE)
☆10Updated 3 years ago
Alternatives and similar repositories for AlgebraColloquium
Users that are interested in AlgebraColloquium are comparing it to the libraries listed below
Sorting:
- A simple, somewhat declarative type conversion library☆10Updated 3 weeks ago
- Theory for algebra summer exam☆17Updated 3 years ago
- Machine learning course SE HSE 2022☆23Updated 2 years ago
- ☆13Updated 3 years ago
- Теория к коллоквиуму☆32Updated 3 years ago
- Материалы курса "Операционные системы"☆12Updated 2 years ago
- Материалы по курсу Алгебры на ФКН ПИ☆46Updated 2 years ago
- 😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ☆89Updated 3 years ago
- HSE materials☆131Updated this week
- Материалы курса "Теория вероятностей и математическая статистика"☆1Updated 3 years ago
- Experimental validation mini-framework☆13Updated 3 years ago
- Материалы курса АКОС на ФПМИ☆315Updated 10 months ago
- ☆126Updated 3 years ago
- ☆207Updated this week
- Материалы для студентов ФПМИ☆66Updated 2 years ago
- KoKoS - утилита для удобного решения задач курса АКОС.☆42Updated 8 months ago
- Distributed Systems Course at CS HSE