So erging es dem Theorembeweiser Otter, dem Flaggschiff und universell einsetzbaren Vorzeigeprogramm von Argonne, das schon eine ganze Reihe kleinerer mathematischer Nüsse geknackt hatte. (Quelle: Die Zeit 1998)
In Argonne beschäftigt man sich schon seit Anfang der sechziger Jahre damit, Computern das Lösen mathematischer Probleme beizubringen. (Quelle: Die Zeit 1998)
Wolf Erlbruch montiert seine Nachtbilder weitgehend aus geschnittenen Farbpapieren, aus Versatzstücken alter Landkarten und mathematischer Lehrbücher. (Quelle: Die Zeit 1999)
。数
DE-DE
Sätze
DE-CN
EN-CN
Bilder
Google
Wiki
