automatyzacja dowodów

Ciekawostki

Tomasz Wiśniewski 23 minuty temu

Przez tysiące lat matematycy polegali wyłącznie na kartce, ołówku i wzajemnym zaufaniu. Najważniejsze informacje:Asystenty dowodów…