Automatisk bevisförning

• Gelernters program hittade nytt geometriskt bevis 1960

• AM upptäckte Goldbachs förmodan

• Symbolisk matematik: MACSYMA, Mathematica, Maple

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version