Ханс Зантема (1956) - голландский математик и компьютерный ученый, профессор Университета Радбауд в Неймегене, известный своей работой по завершающему анализу . [1] [2]
биография
Зантема родился в Гоингарийпе , Нидерланды. Он получил докторскую степень по алгебраической теории чисел в 1983 году в Амстердамском университете под руководством Хендрика Ленстры- младшего за диссертацию на тему «Целочисленные многочлены в алгебраической теории чисел». [3]
После окончания университета Зантема проработал несколько лет в отрасли, прежде чем переключиться на информатику: с 1987 по 2000 год в Утрехтском университете и с 2000 года в Технологическом университете Эйндховена .
С 2007 года он является штатным профессором Университета Радбауд в Неймегене. Его основные достижения - это системы перезаписи терминов , в частности, автоматическое доказательство прекращения перезаписи терминов. Его имя связано с проблемой Zantema, [4] а именно, завершается ли система перезаписи строк 0011 -> 111000 .
Избранные публикации
- Zantema, Ганс. 1983. Целочисленные многочлены в алгебраической теории чисел. Кандидатская диссертация
- Zantema, Ганс. 2007 Deachterkant van Sudoku. Oplossen, programmeren en ontwerpen . Арамит Херсенгимнастик.
Статьи, подборка:
- Zantema, Ганс. «Прекращение переписывания терминов: толкование и устранение шрифта». Журнал символических вычислений 17.1 (1994): 23–50.
- Zantema, Ганс. « Прекращение перезаписи терминов семантической разметкой [ постоянная мертвая ссылка ] ». Fundamenta Informaticae 24.1 (1995): 89-105.
- Эндруллис, Йорг, Йоханнес Вальдманн и Ханс Зантема. « Матричные интерпретации для доказательства прекращения переписывания терминов ». Журнал автоматизированных рассуждений 40.2-3 (2008): 195–220.
Рекомендации
- ↑ Arts, Thomas и Jürgen Giesl. «Прекращение перезаписи терминов с использованием пар зависимостей». Теоретическая информатика 236.1 (2000): 133-178.
- ^ Ohlebusch, Энно. Дополнительные темы по переписыванию терминов. Спрингер, 2002.
- ^ Ханс Зантм на Математической генеалогии
- ^ Тьерри Кокванд и Хенрик Перссон. Теоретико-доказательное исследование проблемы Зантемы. Логика информатики. Конспект лекций по информатике, том 1414, стр. 177-188, Springer, 1988.
Внешние ссылки
- Домашняя страница Ханса Зантемы на tue.nl