pte19990706006 in Business
Computer liefert Beweis für mathematische Formeln
Mathematische Algorithmen und Theorien als Werkzeug
Linz (pte) (pte006/06.07.1999/07:38)
Der RISC-Kombinatorikgruppe unter Prof. Peter Paule an der Universität Linz http://www.risc.uni-linz.ac.at ist es gelungen, daß ihr neuentwickeltes Computerprogramm erstmals einen Beweis für von Forschern vermutete Formeln geliefert hat. In diesen Fällen hatten Mathematiker sich mehrere Wochen vergeblich um eine Lösung bemüht - der Computer hat es letztendlich mit dem entwickelten Programm in wenigen Sekunden geschafft.
Profitieren Sie von
unabhängigem Journalismus!
Lesen Sie mit pressetext Abo+ weiter und unterstützen Sie
Qualitätsberichterstattung für nur 1 EUR pro Woche!
Das Angebot beläuft sich auf 1 EUR pro Woche bzw. 49 EUR im Jahr
– und das, solange Sie wollen. Sie bleiben flexibel, denn Ihr pressetext Abo+
passt sich an Ihre Lesegewohnheiten an und ist jederzeit kündbar