• Задача о форме капли жидкости на потолке
• Задача о форме поверхности вращающейся жидкости
• Задача о свободно висящей цепочке
• Самодельный компьютер из платы АОНа
• Калькулятор TI-89 Titanium и его программирование на C
• Решение японских кроссвордов с помощью SAT солвера
• Генерация кроссвордов с помощью SAT солвера
• Решение задачи замощения с помощью SAT солвера на примере пентамино
• Почти оптимальное решение трёхмерных 4x4x4 крестиков-ноликов
• Еще раз о минимизации булевых функций
• Симметричные карты как средство минимизации булевых функций
• Зачем нужны високосные секунды?
• Вычислительная техника в Deutsches Museum
• Уравнение Кеплера
• Об одной особенности теоремы Котельникова
• Большой Адронный Коллайдер своими глазами. Часть 4
• Большой Адронный Коллайдер своими глазами. Часть 3
• Большой Адронный Коллайдер своими глазами. Часть 2
• Большой Адронный Коллайдер своими глазами