Wahrig Synonymwörterbuch
feilen an
verbessern, bearbeiten, überarbeiten, vervollkommnen, korrigieren, schleifen an, ausfeilen, vervollständigen, perfektionieren; ugs.: den letzten Schliff geben, letzte Hand anlegen
Wissenschaft
Der Zombie-Mond
Der innere Marsmond bewegt sich auf einer instabilen Bahn. Dies ist jedoch nur eine Momentaufnahme: In einem bizarren Zyklus wechselt Phobos zwischen Zerstörung und Wiedergeburt. von THORSTEN DAMBECK Clustril, Drunlo, Limtoc, Flimnap – merkwürdig benannte Krater bedecken den Marsmond Phobos. Vertrauter klingt Gulliver, der Name...
Wissenschaft
Computer als Assistenz-Mathematiker
Rechnen konnten Computer schon immer. Doch abgesehen davon hatten sie für die Mathematik kaum einen Nutzen – bislang. Denn inzwischen gibt es Programme, die mathematische Beweise prüfen können. KI eröffnet dabei neue Möglichkeiten. von PAULA STRÄTER Den meisten Menschen begegnet Mathematik im Alltag nur, wenn sie zählen oder...