Abstract:<\/p>\n
Die Methode des „Lazy Thinking“ dient zur systematischen Synthese von Algorithmen aus Problemspezifikationen. Die Methode kann sowohl als heuristisch \/ p\u00e4dagogisches Werkzeug f\u00fcr den Prozess der Synthese korrekter Algorithmen dienen als auch zur vollst\u00e4ndig automatischen Generierung von Algorithmen, wenn f\u00fcr Teilschritte der Methode automatische Beweiser f\u00fcr die entsprechenden Objekttheorien zur Verf\u00fcgung stehen. Im Vortrag wird die Methode zun\u00e4chst an einem einfachen Beispiel erl\u00e4utert und dann gezeigt, dass auch sehr schwierige Algorithmen, wie der Groebner-Basen-Algorithmuszur Behandlung nicht-linearer Systeme, mit der Methode v\u00f6llig automatisch generiert werden kann. Die Methode ist in dem vom Vortragenden konzipierten Theorema-System implementiert.<\/p>\n
Kurzbio des Vortragenden:<\/p>\n
Bruno Buchberger ist o. Professor f\u00fcr Computer-Mathematik an der Johannes Kepler Universit\u00e4t Linz, RISC Institut. Er ist der Erfinder der Theorie der „Gr\u00f6bner-Basen“, eines grundlegenden Verfahrens der Computer-Mathematik, das weltweit in allen modernen Mathematik-Software-Systemen in vielen Millionen Installationen v<\/p>\n
erwendet wird, mit spektakul\u00e4ren Anwendungen wie z.B. Brechen kryptographischer Codes (2003), Verbesserung der Steuerung von \u00d6lplattformen (Shell, 2006), Bestimmungen genetischer Verwandtschaften von Arten (2007). In den letzten 10 Jahren besch\u00e4ftigt sich Buchberger immer mehr mit der Automatisierung des mathematischen Erfindungsprozesses (Projekt \u201eTheorema\u201c). Buchberger ist Gr\u00fcnder des internationalen „Journal of Symbolic Computation“ (Elsevier, 1985), welches inzwischen das f\u00fchrende Journal im Bereich Symbolic Computation ist, sowie Gr\u00fcnder des RISC (Research Institute for Symbolic Computation, 1987) im Schloss Hagenberg. 1990 gr\u00fcndet er den Softwarpark Hagenberg, der unter seiner Leitung inzwischen ca. 1000 Mitarbeiter bei 11 Forschungsinstitutionen, 60 Firmen und 20 Universit\u00e4ts- und FH-Studieng\u00e4ngen besch\u00e4ftigt. Buchberger ist Mitglied der Academy of Europe, hat vier Ehrendoktorate (von den Universit\u00e4ten Nijmegen, Timsoara, Bath und Waterloo) und erhielt 2008 den ACM Kanellakis Award „Theory and Practice“ (San Francisco). 2010 wurde er zum \u00d6sterreicher des Jahres in der Kategorie Forschung gew\u00e4hlt (Die Presse).<\/p>\n
Abstract: Die Methode des „Lazy Thinking“ dient zur systematischen Synthese von Algorithmen aus Problemspezifikationen. Die Methode kann sowohl als heuristisch \/ p\u00e4dagogisches Werkzeug f\u00fcr den Prozess der Synthese korrekter Algorithmen dienen als auch zur vollst\u00e4ndig automatischen Generierung von Algorithmen, wenn … Continue reading