Публикации с хабом Математика
Уравнение пьезопроводности с точечным источником. Получение точного решения для случая с бесконечной границей +3
Эволюция технологий контейнеризации и их роль в современном DevOps -6
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35
CAP, Coq и Евклид +7
Как линейная алгебра помогла мне в разработке интерактивного редактора диаграмм +3
Контекстные бандиты в ценообразовании
Гипотеза Коллатца как фейл мировой математики +7
Итоги года команды «кодИИм» -3
Модель числа I. Нахождение инволюции +1
Деление беззнаковых 8-битных чисел +46
Гробы на экзаменах в ШАД -2
Стратегия Келли точно не подведёт +28
Оптимизация компилятора на пальцах +25
Что такое гёмбёц? +44
