Benutzer:AlgorithMan

Hallo,
Ich heisse Viktor Engelmann und bin Doktorand am Lehrstuhl für Logik und Semantik der TU Berlin. Studiert habe ich Informatik und Mathematik an der RWTH Aachen mit den Schwerpunkten

• Theoretische Informatik (NP-Vollständigkeit, Berechenbarkeitstheorie, Komplexitätstheorie, Automatentheorie, Formale Sprachen, Compilerbau, Logikprogrammierung)
• Diskrete Mathematik (Graphentheorie, Kombinatorik, Logik, Algebra)

Bisher habe ich Beiträge verfasst zu den Themen

• Parametrisierter Algorithmus
• Problemkern (den Artikel gab es schon vorher, aber ich hab ihn fast komplett neu geschrieben)
• Normalisator
• Komplexprodukt
• Embrace, Extend and Extinguish
• Browserweiche (den Artikel gab es schon vorher, aber ich hab ihn fast komplett neu geschrieben)

und Beiträge bearbeitet zu den Themen

• Normalteiler
• Endlichkeitssatz: Folgerung, dass Axiomatisierbarkeit damit widerlegt werden kann
• Suchproblem: 8-Damen Problem als Beispiel angegeben
• Wohlfundierte Relation und Normalform in Bezug gesetzt
• Hamiltonkreisproblem: Geschichtliches zur Entstehung
• Glossar Graphentheorie (hier sehr viel)
• Geometrischen Reihe: Beispiel Rentenrechnung mit linearer Dynamik
• Creative Commons: Hinweis, dass "nc" auch den Verkauf zum Selbstkostenpreis verbietet
• User-Agent: mit Browserweiche verwoben
• Duke Nukem Forever: Einige aktuelle News eingefügt
• David A. Huffman: Zweiten Vornamen eingefügt, den ich von Huffmans Neffen erfragt hatte

Ne Homepage hab ich auch, wo ich Programme o.Ä. von mir zum Download stelle (alles open source). ich hab die Sachen nur aus Interesse gemacht und vielleicht hilft ja mal irgendwas davon irgendwem bei irgendwas weiter...
http://www.AlgorithMan.de
Ausserdem bin ich der Gründer und Maintainer des Open Source Projekts http://www.Open-Graphtheory.org
CU

AlgorithMan

---

I have discovered a truly wonderful signature, but this margin is too narrow to hold it