25,161
edits
Changes
Created page with "'''Home * People * Hagen Huwig''' FILE:HagenHuwig.jpg|border|right|thumb|link=https://alumni-informatik-dortmund.de/content/hagen-huwig| Hagen Huwig <ref>..."
'''[[Main Page|Home]] * [[People]] * Hagen Huwig'''
[[FILE:HagenHuwig.jpg|border|right|thumb|link=https://alumni-informatik-dortmund.de/content/hagen-huwig| Hagen Huwig <ref>[https://alumni-informatik-dortmund.de/content/hagen-huwig Hagen Huwig | Alumni der Informatik Dortmund e.V. (1977)], Photo by [[Oliver Vornberger]], [https://alumni.cs.uni-dortmund.de/image Bildgalerien | Alumni der Informatik Dortmund e.V.]</ref> ]]
'''Hagen Huwig''',<br/>
a German mathematician and computer scientist with research interests in [https://en.wikipedia.org/wiki/Computational_complexity_theory computational complexity theory].
While Ph.D. student at [[University of Dortmund]] during the mid 70s, he led a project team to develop the chess program [[Proscha]] <ref>[[Hagen Huwig]] ('''1975'''). ''[http://www.worldcat.org/title/bericht-uber-eine-projektgruppe-mit-dem-thema-schachprogrammierung/oclc/632360799 Bericht über eine Projektgruppe mit dem Thema Schachprogrammierung]''. Bericht Nr. 9, [[University of Dortmund]] (German)</ref> <ref>[http://www.linkedin.com/pub/hans-decker/10/37a/b48 Hans Decker] ('''1998'''). ''EinBlick - Ursprünge der Dortmunder Informatik''. [http://www.cs.tu-dortmund.de/nps/de/Home/ueber_uns/Historie_der_Dortmunder_Informatik.pdf pdf]</ref>, written in [[PL 1|PL/I]] for the [[IBM 370]]. Proscha played the [[First GI Computer Chess Tournament]] <ref>[http://www.computerwoche.de/heftarchiv/1975/42/1205123/ Erstes Computer-Schachturnier der Gesellschaft für Informatik] October 17, 1975, [[Computerworld#Woche|Computerwoche]] 42/1975 (German)</ref> <ref>[[Mathematician#Zumkeller|Reinhard Zumkeller]] ('''1975'''). ''Erstes GI Computer-Schach-Turnier, Dortmund 1975'', Bulletin, including a paper by [[Konrad Zuse]]</ref>.
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/h/Huwig:Hagen dblp: Hagen Huwig]</ref>
==1975 ...==
* [[Hagen Huwig]] ('''1975'''). ''[http://www.worldcat.org/title/bericht-uber-eine-projektgruppe-mit-dem-thema-schachprogrammierung/oclc/632360799 Bericht über eine Projektgruppe mit dem Thema Schachprogrammierung]''. Bericht Nr. 9, [[University of Dortmund]] (German)
* [[Hagen Huwig]] ('''1976'''). ''Beziehungen zwischen beschränkter syntaktischer und beschränkter primitiver Rekursion''. Dissertation, [[University of Dortmund]], advisor [[Mathematician#VClaus|Volker Claus]] (German)
* [[Hagen Huwig]] ('''1976'''). ''A Machine Independent Description of Complexity Classes, Definable by Nondeterministic as well as Determinsitic Turing Machines with Primitive Pecursove Tape or Time Bounds''. [https://dblp.uni-trier.de/db/conf/mfcs/mfcs76.html MFCS 1976]
* [[Hagen Huwig]], [[Mathematician#VClaus|Volker Claus]] ('''1977'''). ''[https://link.springer.com/chapter/10.1007/3-540-08138-0_6 Das Äquivalenzproblem für spezielle Klassen von Loop-1-Pogrammen]''. [https://dblp.uni-trier.de/db/conf/tcs/tcs1977.html Theoretical Computer Science 1977], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science Lecture Notes in Computer Science] 48
==1980 ...==
* [[Hagen Huwig]] ('''1980'''). ''Das P=NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema''. [https://dblp.uni-trier.de/db/conf/gi/gi80.html 10. GI Jahrestagung 1980]
* [[Hagen Huwig]], [https://dblp.uni-trier.de/pers/hd/p/Poign=eacute=:Axel Axel Poigné] ('''1980'''). ''A criterion common to various continuous completions of albegras and X-categories''. [https://dblp.uni-trier.de/db/conf/caap/caap80.html CLAAP 1980]
* [[Hagen Huwig]] ('''1981'''). ''A Definition of the P=NP-Problem in Categories''. [http://www.informatik.uni-trier.de/~ley/db/conf/fct/fct81.html#Huwig81 FCT 1981]
* [[Hagen Huwig]] ('''1982'''). ''Ein Modell des P=NP -Problems mit einer positiven Lösung''. [https://en.wikipedia.org/wiki/Acta_Informatica Acta Informatica], Vol. 17
* [[Mathematician#KAmbosSpies|Klaus Ambos-Spies]], [[Mathematician#Fleischhack|Hans Fleischhack]], [[Hagen Huwig]] ('''1984'''). ''[https://link.springer.com/chapter/10.1007/3-540-13345-3_5 P-generic sets]''. Automata, Languages and Programming, [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science Lecture Notes in Computer Science] 172
* [[Mathematician#KAmbosSpies|Klaus Ambos-Spies]], [[Mathematician#Fleischhack|Hans Fleischhack]], [[Hagen Huwig]] ('''1987'''). ''Diagonalizing over Deterministic Polynomial Time''. [https://dblp.uni-trier.de/db/conf/csl/csl87.html CSL 1987]
* [[Mathematician#KAmbosSpies|Klaus Ambos-Spies]], [[Mathematician#Fleischhack|Hans Fleischhack]], [[Hagen Huwig]] ('''1987'''). ''[https://www.sciencedirect.com/science/article/pii/0304397587900533 Diagonalizations over polynomial time computable sets]''. [https://en.wikipedia.org/wiki/Theoretical_Computer_Science_(journal) Theoretical Computer Science], Vol. 51]
==1990 ...==
* [[Hagen Huwig]], [https://dblp.uni-trier.de/pers/hd/p/Poign=eacute=:Axel Axel Poigné] ('''1990'''). ''[https://dl.acm.org/citation.cfm?id=79705 A note on inconsistencies caused by fixpoints in a Cartesian closed category]''. [http://www.informatik.uni-trier.de/~ley/db/journals/tcs/tcs73.html#HuwigP90 Theoretical Computer Science, Vol. 73] <ref>[http://caml.inria.fr/pub/ml-archives/caml-list/2003/11/e83c4157c43ac28d050e4afb28346c25.en.html Archives of the Caml mailing list > Message from Martin Berger]</ref>
=External Links=
* [https://alumni-informatik-dortmund.de/content/hagen-huwig Hagen Huwig | Alumni der Informatik Dortmund e.V. (1977)], Photo by [[Oliver Vornberger]] <ref>[http://alumni.cs.uni-dortmund.de/image Bildgalerien | Alumni der Informatik Dortmund e.V.]</ref>
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=63172 The Mathematics Genealogy Project - Hagen Huwig]
=References=
<references />
'''[[People|Up one Level]]'''
[[Category:Mathematician|Huwig]]
[[Category:Chess Programmer|Huwig]]
[[FILE:HagenHuwig.jpg|border|right|thumb|link=https://alumni-informatik-dortmund.de/content/hagen-huwig| Hagen Huwig <ref>[https://alumni-informatik-dortmund.de/content/hagen-huwig Hagen Huwig | Alumni der Informatik Dortmund e.V. (1977)], Photo by [[Oliver Vornberger]], [https://alumni.cs.uni-dortmund.de/image Bildgalerien | Alumni der Informatik Dortmund e.V.]</ref> ]]
'''Hagen Huwig''',<br/>
a German mathematician and computer scientist with research interests in [https://en.wikipedia.org/wiki/Computational_complexity_theory computational complexity theory].
While Ph.D. student at [[University of Dortmund]] during the mid 70s, he led a project team to develop the chess program [[Proscha]] <ref>[[Hagen Huwig]] ('''1975'''). ''[http://www.worldcat.org/title/bericht-uber-eine-projektgruppe-mit-dem-thema-schachprogrammierung/oclc/632360799 Bericht über eine Projektgruppe mit dem Thema Schachprogrammierung]''. Bericht Nr. 9, [[University of Dortmund]] (German)</ref> <ref>[http://www.linkedin.com/pub/hans-decker/10/37a/b48 Hans Decker] ('''1998'''). ''EinBlick - Ursprünge der Dortmunder Informatik''. [http://www.cs.tu-dortmund.de/nps/de/Home/ueber_uns/Historie_der_Dortmunder_Informatik.pdf pdf]</ref>, written in [[PL 1|PL/I]] for the [[IBM 370]]. Proscha played the [[First GI Computer Chess Tournament]] <ref>[http://www.computerwoche.de/heftarchiv/1975/42/1205123/ Erstes Computer-Schachturnier der Gesellschaft für Informatik] October 17, 1975, [[Computerworld#Woche|Computerwoche]] 42/1975 (German)</ref> <ref>[[Mathematician#Zumkeller|Reinhard Zumkeller]] ('''1975'''). ''Erstes GI Computer-Schach-Turnier, Dortmund 1975'', Bulletin, including a paper by [[Konrad Zuse]]</ref>.
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/h/Huwig:Hagen dblp: Hagen Huwig]</ref>
==1975 ...==
* [[Hagen Huwig]] ('''1975'''). ''[http://www.worldcat.org/title/bericht-uber-eine-projektgruppe-mit-dem-thema-schachprogrammierung/oclc/632360799 Bericht über eine Projektgruppe mit dem Thema Schachprogrammierung]''. Bericht Nr. 9, [[University of Dortmund]] (German)
* [[Hagen Huwig]] ('''1976'''). ''Beziehungen zwischen beschränkter syntaktischer und beschränkter primitiver Rekursion''. Dissertation, [[University of Dortmund]], advisor [[Mathematician#VClaus|Volker Claus]] (German)
* [[Hagen Huwig]] ('''1976'''). ''A Machine Independent Description of Complexity Classes, Definable by Nondeterministic as well as Determinsitic Turing Machines with Primitive Pecursove Tape or Time Bounds''. [https://dblp.uni-trier.de/db/conf/mfcs/mfcs76.html MFCS 1976]
* [[Hagen Huwig]], [[Mathematician#VClaus|Volker Claus]] ('''1977'''). ''[https://link.springer.com/chapter/10.1007/3-540-08138-0_6 Das Äquivalenzproblem für spezielle Klassen von Loop-1-Pogrammen]''. [https://dblp.uni-trier.de/db/conf/tcs/tcs1977.html Theoretical Computer Science 1977], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science Lecture Notes in Computer Science] 48
==1980 ...==
* [[Hagen Huwig]] ('''1980'''). ''Das P=NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema''. [https://dblp.uni-trier.de/db/conf/gi/gi80.html 10. GI Jahrestagung 1980]
* [[Hagen Huwig]], [https://dblp.uni-trier.de/pers/hd/p/Poign=eacute=:Axel Axel Poigné] ('''1980'''). ''A criterion common to various continuous completions of albegras and X-categories''. [https://dblp.uni-trier.de/db/conf/caap/caap80.html CLAAP 1980]
* [[Hagen Huwig]] ('''1981'''). ''A Definition of the P=NP-Problem in Categories''. [http://www.informatik.uni-trier.de/~ley/db/conf/fct/fct81.html#Huwig81 FCT 1981]
* [[Hagen Huwig]] ('''1982'''). ''Ein Modell des P=NP -Problems mit einer positiven Lösung''. [https://en.wikipedia.org/wiki/Acta_Informatica Acta Informatica], Vol. 17
* [[Mathematician#KAmbosSpies|Klaus Ambos-Spies]], [[Mathematician#Fleischhack|Hans Fleischhack]], [[Hagen Huwig]] ('''1984'''). ''[https://link.springer.com/chapter/10.1007/3-540-13345-3_5 P-generic sets]''. Automata, Languages and Programming, [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science Lecture Notes in Computer Science] 172
* [[Mathematician#KAmbosSpies|Klaus Ambos-Spies]], [[Mathematician#Fleischhack|Hans Fleischhack]], [[Hagen Huwig]] ('''1987'''). ''Diagonalizing over Deterministic Polynomial Time''. [https://dblp.uni-trier.de/db/conf/csl/csl87.html CSL 1987]
* [[Mathematician#KAmbosSpies|Klaus Ambos-Spies]], [[Mathematician#Fleischhack|Hans Fleischhack]], [[Hagen Huwig]] ('''1987'''). ''[https://www.sciencedirect.com/science/article/pii/0304397587900533 Diagonalizations over polynomial time computable sets]''. [https://en.wikipedia.org/wiki/Theoretical_Computer_Science_(journal) Theoretical Computer Science], Vol. 51]
==1990 ...==
* [[Hagen Huwig]], [https://dblp.uni-trier.de/pers/hd/p/Poign=eacute=:Axel Axel Poigné] ('''1990'''). ''[https://dl.acm.org/citation.cfm?id=79705 A note on inconsistencies caused by fixpoints in a Cartesian closed category]''. [http://www.informatik.uni-trier.de/~ley/db/journals/tcs/tcs73.html#HuwigP90 Theoretical Computer Science, Vol. 73] <ref>[http://caml.inria.fr/pub/ml-archives/caml-list/2003/11/e83c4157c43ac28d050e4afb28346c25.en.html Archives of the Caml mailing list > Message from Martin Berger]</ref>
=External Links=
* [https://alumni-informatik-dortmund.de/content/hagen-huwig Hagen Huwig | Alumni der Informatik Dortmund e.V. (1977)], Photo by [[Oliver Vornberger]] <ref>[http://alumni.cs.uni-dortmund.de/image Bildgalerien | Alumni der Informatik Dortmund e.V.]</ref>
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=63172 The Mathematics Genealogy Project - Hagen Huwig]
=References=
<references />
'''[[People|Up one Level]]'''
[[Category:Mathematician|Huwig]]
[[Category:Chess Programmer|Huwig]]
