25,161
edits
Changes
no edit summary
==First GI Computer Chess==
Representing the host university, Proscha played the [[First GI Computer Chess Tournament]] <ref>[http://www.computerwoche.de/a/computer-logik-im-koeniglichen-spiel,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>, lost from [[Daja]] and [[Samiel]], and won from [[Charlie]].
In one of his algorithm lectures on [https://en.wikipedia.org/wiki/Verification_and_validation_%28software%29 verification] and [https://en.wikipedia.org/wiki/Correctness_%28computer_science%29 correctness] <ref>[http://www-lehre.inf.uos.de/~ainf/2014/index.html Vorlesung Algorithmen WS 2014/15], Di, 18.11.2014 Verifikation: partielle Korrektheit, Terminierung, Halteproblem (Algorithmen-Fee), [https://youtu.be/D5hZ2kY8KaA ?t=524 YouTube video] at 158:2044</ref>, [[Oliver Vornberger]] mentioned a [[Engine Testing#bugs|bug]] in Proscha despite it was extensively tested over one year, which appeared exactly during the first round versus [[Daja]], where Proscha captured its own white king with its own white bishop <ref>[[Proscha]] was disrespectful mentioned by [[Daja]] author [[Ludwig Zagler]] as "bastelprogram" (tinker program) in [http://www.spiegel.de/spiegel/print/d-41238169.html Schach: Die Zugmaschine] [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 16/1976, April 12, 1976 (German)</ref>.
=Publications=
