zastosowania komputerów w matematyce

komputery powstawaly jako maszyny matematyczne, przyspieszajace wykonywanie obliczen. Ta wlasnosc po pól wieku ich rozwoju nie traci znaczenia w odniesieniu do obliczeniowych aspektów matematyki. Wszelako wspólczesne programy komputerowe, jak np. Ä MATLAB, umozliwiaja przeksztalcanie wzorów, wizualizacje obiektów matematycznych, eksperymentowanie matematyczne. Pomimo wielu udogodnien i zaawansowanych badan nad Ä sztuczna inteligencja komputery na razie - w przeciwienstwie do matematyków - nie udzielaja samorzutnie odpowiedzi na pytanie "Co to jest matematyka" (R. Courant, H. Robbins), aczkolwiek istnieja twierdzenia matematyczne, które maja tylko komputerowe dowody. Zob. tez system autorski.