Ганс Зантема

Голландский математик и учёный-компьютерщик.

Ханс Зантема (1956) — голландский математик и специалист по информатике, профессор Университета Радбауда в Неймегене, известный своими работами по анализу терминации . ^{[1] [2]}

Биография

Родившийся в Гойнгарипе , Нидерланды, Зантема получил докторскую степень по алгебраической теории чисел в 1983 году в Амстердамском университете под руководством Хендрика Ленстры -младшего за диссертацию под названием «Целочисленные многочлены в алгебраической теории чисел». ^[3]

После окончания университета Зантема несколько лет проработал в отрасли, прежде чем переключиться на компьютерные науки: с 1987 по 2000 год в Утрехтском университете , а с 2000 года в Техническом университете Эйндховена .

С 2007 года он является внештатным профессором в Университете Радбуда в Неймегене. Его основные достижения связаны с системами переписывания терминов , в частности, с автоматическим доказательством прекращения переписывания терминов. Его имя связано с проблемой Зантемы ^[4], а именно, завершается ли система переписывания строк 0011 -> 111000 .

Избранные публикации

• Зантема, Ханс. 1983. Целочисленные многочлены в алгебраической теории чисел. Кандидатская диссертация
• Зантема, Ганс. 2007 Игра в судоку. Оплоссен, программист в ответе . Арамиф Херсенгимнастик.

Статьи, подборка:

• Зантема, Ханс. «Прекращение переписывания терминов: интерпретация и устранение типов». Журнал символических вычислений 17.1 (1994): 23–50.
• Зантема, Ганс. «Прекращение переписывания терминов с помощью семантической маркировки ^{[ постоянная мертвая ссылка ]} ». Fundamenta Informaticae 24.1 (1995): 89-105.
• Эндруллис, Йорг, Йоханнес Вальдманн и Ханс Зантема. «Матричные интерпретации для доказательства прекращения переписывания терминов. Архивировано 22 октября 2014 г. в Wayback Machine ». Журнал автоматизированного рассуждения 40.2-3 (2008): 195–220.

Ссылки

1. Артс, Томас и Юрген Гисль. «Прекращение переписывания терминов с использованием пар зависимостей». Теоретическая информатика 236.1 (2000): 133-178.
2. Олебуш, Энно. Продвинутые темы в переписывании терминов. Springer, 2002.
3. Ханс Зантема в проекте «Генеалогия математики»
4. Тьерри Кокванд и Хенрик Перссон. Теоретико-доказательное исследование проблемы Зантемы. Computer Science Logic. Lecture Notes in Computer Science Volume 1414, стр. 177-188, Springer, 1988.

Внешние ссылки

• Домашняя страница Ханса Зантемы на сайте tue.nl.