NODE 4F · ANMELDEN
Neu hier? Hol dir die 04:42-Depesche — gratis, jeden Morgen.
Science News
1 TREFFER
SORTIERT NACH DATUM
[Science News]
2026-05-09
NOOR KADE
CH
Lean bereinigt Mathematiks hartnäckigsten Streit – AEC sollte aufmerken
Zwei Projekte nutzen Lean zur Verifikation der ABC-Vermutung. Was formale Verifikation für Schweizer BIM und AEC bedeutet.
