Ганс Зантема
Ханс Зантема (1956) — голландский математик и ученый-компьютерщик, профессор Университета Радбауд в Неймегене, известный своими работами по анализу прерываний . [1] [2]
Биография [ править ]
Зантема родился в Гойнгарипе , Нидерланды, и получил докторскую степень по алгебраической теории чисел в 1983 году в Амстердамском университете под руководством Хендрика Ленстры -младшего за диссертацию на тему «Целочисленные полиномы в алгебраической теории чисел». [3]
После окончания университета Зантема несколько лет проработал в отрасли, прежде чем переключился на информатику: с 1987 по 2000 год в Утрехтском университете и с 2000 года в Эйндховенском технологическом университете .
С 2007 года он является профессором по совместительству в Университете Радбауд в Неймегене. Его основные достижения связаны с системами переписывания терминов , в частности с автоматическим подтверждением прекращения переписывания терминов. Его имя привязано к Проблема Зантемы, [4] а именно завершается система перезаписи строк 0011 -> 111000 .
Избранные публикации [ править ]
- Зантема, Ганс. 1983. Целочисленные полиномы в алгебраической теории чисел. Кандидатская диссертация
- Зантема, Ганс. 2007 Обратная сторона судоку. Решение, программирование и проектирование . Арамит Гимнастика для мозга.
Статьи, подборка:
- Зантема, Ганс. «Прекращение переписывания терминов: интерпретация и устранение типов». Журнал символических вычислений 17.1 (1994): 23–50.
- Зантема, Ганс. « Прекращение переписывания терминов путем семантической маркировки [ постоянная мертвая ссылка ] 24.1 Основы информатики (1995): 89–105.
- Эндруллис, Йорг, Йоханнес Вальдманн и Ханс Зантема. « Матричные интерпретации для доказательства прекращения переписывания терминов ». Журнал автоматического рассуждения 40.2-3 (2008): 195–220.
Ссылки [ править ]
- ^ Артс, Томас и Юрген Гизль. «Прекращение переписывания терминов с использованием пар зависимостей». Теоретическая информатика 236.1 (2000): 133-178.
- ^ Олебуш, Энно. Продвинутые темы по переписыванию терминов. Спрингер, 2002.
- ^ Ханс Зантема в проекте «Математическая генеалогия»
- ^ Тьерри Коканд и Хенрик Перссон. Теоретико-доказательное исследование проблемы Зантемы. Информатика Логика. Конспекты лекций по информатике, том 1414, стр. 177–188, Springer, 1988.
Внешние ссылки [ править ]
- Домашняя страница Ханса Зантемы на сайте tue.nl.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Голландские ученые-компьютерщики
- Голландские математики
- 1956 рождений
- Живые люди
- Академический состав Технологического университета Эйндховена
- Академический состав Университета Радбауд в Неймегене
- Выпускники Гронингенского университета
- Люди из Скарстерленда
- Голландские учёные XX века
- Голландские учёные XXI века