ΤΕΧ или TeX — система компьютерной вёрстки, разработанная американским профессором информатики Дональдом Кнутом в целях создания компьютерной типографии. В неё входят средства для секционирования документов, для работы с перекрёстными ссылками. В частности, благодаря этим возможностям, TeX популярен в академических кругах, особенно среди математиков и физиков.
Дональд Эрвин Кнут — американский учёный в области информатики, доктор философии (1963), эмерит-профессор Стэнфордского университета, член Американского философского общества (2012), преподаватель и идеолог программирования, автор 19 монографий и более 160 статей, разработчик нескольких известных программных технологий.
LaTeX — наиболее популярный набор макрорасширений системы компьютерной вёрстки TeX, который облегчает набор сложных документов. В типографском наборе системы TeX форматируется традиционно как LAΤΕΧ.
METAFONT — язык программирования, используемый для разработки векторных шрифтов. Также это название интерпретатора, выполняющего код METAFONT.
BibTeX — программное обеспечение для создания форматированных списков библиографии. BibTeX используется совместно с LaTeX'ом и входит во все известные дистрибутивы TeX и LaTeX.
Дерево Штерна — Броко — способ расположения всех неотрицательных несократимых дробей в вершинах упорядоченного бесконечного двоичного дерева.
Петер Наур — датский учёный в области информатики, один из пионеров компьютерной науки. Более всего известен как один из разработчиков первого языка структурного программирования Алгол 60 и, совместно с Бэкусом, как изобретатель формы Бэкуса — Наура.
«Конкретная математика. Основание информатики» — книга Дональда Кнута, Роналда Грэхема и Орена Паташника по математике, рассматривающая математические основы информатики, особенно анализа алгоритмов.
Ба́ртель Ле́ендерт ван дер Ва́рден — голландский математик.
«Искусство программирования» — фундаментальная монография известного американского математика и специалиста в области компьютерных наук Дональда Кнута, посвящённая рассмотрению и анализу важнейших алгоритмов, используемых в информатике. В 1999 году книга была признана одной из двенадцати лучших физико-математических монографий столетия.
Экспериментальная математика — область математики, отличающаяся использованием различных приёмов, в том числе приёмов подстановки, перемещения, доказательств от обратного, в том числе с использованием электронно-вычислительных инструментов для проверки, подтверждения старых и получения новых фактов (теорем) в математике. Все результаты, полученные в экспериментальной математике, являются строго доказанными утверждениями математики. Строго говоря, любые доказательства, выкладки, вычисления и т. д. являются экспериментами с целью получения новых законов (теорем). Однако в экспериментальной математике для проведения экспериментов используется современная вычислительная техника, позволяющая осуществлять эксперименты, недоступные при ручном счете. Основным методом экспериментальной математики являются доказательные вычисления, в ходе которых результаты вычислений используются для строгого доказательства математических фактов.
Addison-Wesley — американское издательство, специализирующееся на компьютерной литературе, ранее также выпускавшее литературу по естественным наукам. Принадлежит к медиа-концерну Pearson.
Fellow Awards — премия, учреждённая Музеем компьютерной истории в 1987 году. Ею награждаются ныне живущие люди, внесшие значительный вклад в развитие информационных технологий.
pdfTeX — компьютерная программа, задуманная как расширение программы вёрстки TeX, созданной профессором Стэнфордского университета Дональдом Кнутом. Разработана программистом по имени Хан Тхе Тхань.
Диомидис Д. Спинеллис — греческий информатик, профессор, автор книг «Чтение кода» (2003), «Качество кода» (2006) и «Идеальная архитектура» (2010). Автор одного из исследований роста Википедии.
Citavi — программа управления библиографической информацией для Microsoft Windows, разработанная швейцарской компанией Swiss Academic Software. Программа построена на программной платформе .NET.
Информатик — учёный, изучающий информатику, теоретическую основу информации, вычисление и их применение.
Рональд Льюис Грэм — американский математик, оказавший заметное влияние на развитие дискретной математики во второй половине XX века, автор ряда важных работ по планированию выполнения задач, вычислительной геометрии, теории Рамсея. Наиболее известен как соавтор книги «Конкретная математика», написанной в соавторстве с Дональдом Кнутом и Ореном Паташником.
Biber — программа библиографической обработки информации, работает совместно с LaTeX. Написан на языке Perl.
