Großes Wörterbuch der deutschen Sprache
Cruzeiro
Cru|zei|ro〈〉
[–zɛıru]
oder[–ze:ro]
m.
, –(s)
, –(s)
brasilianische Währungseinheit, 100 Centavos
[<
port.
cruz
„Kreuz“]
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...
Wissenschaft
Reise zum Mittelpunkt des Mars
Eine Landesonde hat mit seismischen Wellen das Innere des Roten Planeten durchleuchtet. Ergebnis: In seinem Zentrum ist ein stattlicher Metallkern. von THORSTEN DAMBECK Die rotbraunen Wüsten auf dem Mars wurden schon eingehend erkundet. Doch wie es darunter aussieht, war bisher weitgehend unklar. Die NASA-Sonde InSight, die 2018...