1 haber bu etiketle işaretlenmiş
Matematik dünyasının en zorlu problemlerinden biri olan yüksek boyutlu küre paketleme probleminin 8 ve 24 boyutlarındaki çözümleri, Gauss adlı otomatik kanıtlama aracı kullanılarak resmen doğrulandı. ...
Tüm haberler yüklendi