weryfikacja dowodów

Poradniki

Anna Słabińska 3 godziny temu

Coraz więcej matematyków oddaje swoje najtrudniejsze twierdzenia w ręce specjalnych programów, które analizują dowody linijka…