Hans Zantema - Hans Zantema

Hans Zantema (1956) je nizozemský matematik a počítačový vědec a profesor na Radboud University v Nijmegenu, známý svou prací na analýza ukončení.^[1]^[2]

Životopis

Narozen v Goingarijp V Nizozemsku získal Zantema titul PhD algebraická teorie čísel v roce 1983 na University of Amsterdam pod dohledem Hendrik Lenstra Jr. pro práci s názvem „Celočíselné polynomy v teorii algebraických čísel“.^[3]

Po ukončení studia strávil Zantema několik let zaměstnání v oboru, než přešel na informatiku: od roku 1987 do roku 2000 v Utrechtská univerzita a od roku 2000 v Eindhoven University of Technology.

Od roku 2007 je profesorem na částečný úvazek Radboud University v Nijmegenu. Jeho hlavní úspěchy jsou v systémy přepisování termínů, zejména v automatickém dokazování ukončení přepis termínu. Jeho jméno je spojeno se Zantemovým problémem,^[4] jmenovitě dělá systém přepisování řetězců 0011 -> 111000 vypovědět.

Vybrané publikace

Zantema, Hansi. 1983. Celočíselné hodnotné polynomy v algebraické teorii čísel. Disertační práce
Zantema, Hansi. 2007 De achterkant van Sudoku. Oplossen, programmeren en ontwerpen. Aramith Hersengymnastiek.

Články, výběr:

Zantema, Hansi. "Ukončení přepisování termínu: tlumočení a odstranění typu." Journal of Symbolic Computation 17.1 (1994): 23–50.
Zantema, Hansi. "Ukončení přepisování termínů sémantickým označením^{[trvalý mrtvý odkaz ]}." Fundamenta Informaticae 24.1 (1995): 89-105.
Endrullis, Jörg, Johannes Waldmann a Hans Zantema. "Maticové interpretace prokazující ukončení přepisování termínu." Journal of Automated Reasoning 40.2-3 (2008): 195–220.

Reference

^ Arts, Thomas a Jürgen Giesl. "Ukončení přepisování termínů pomocí párů závislostí." Teoretická informatika 236.1 (2000): 133-178.
^ Ohlebusch, Enno. Pokročilá témata v přepisování termínů. Springer, 2002.
^ Hans Zantema na Matematický genealogický projekt
^ Thierry Coquand a Henrik Persson. Důkazové teoretické zkoumání Zantemova problému. Logika informatiky. Lecture Notes in Computer Science Volume 1414, pp. 177-188, Springer, 1988.

externí odkazy

Domovská stránka Hanse Zantemy v úterý.nl

[1] Arts, Thomas a Jürgen Giesl. "Ukončení přepisování termínů pomocí párů závislostí." Teoretická informatika 236.1 (2000): 133-178.

[2] Ohlebusch, Enno. Pokročilá témata v přepisování termínů. Springer, 2002.

[3] Hans Zantema na Matematický genealogický projekt

[4] Thierry Coquand a Henrik Persson. Důkazové teoretické zkoumání Zantemova problému. Logika informatiky. Lecture Notes in Computer Science Volume 1414, pp. 177-188, Springer, 1988.

[1]

[2]

[3]

[4]