math

math visualization數學視覺化

將數學變得顯而易見。知名網站3Blue1BrownMatrix67

演算法也可以視覺化。知名網站Mike Bostock

computer-assisted proof電腦輔助證明

利用電腦窮舉各種可能性,從中尋找數學規律、察覺數學定理、檢查所有反例。知名範例四色定理、Lorenz系統。

其他關鍵字automated theorem proving、automated reasoning。

scientific computing科學計算

利用電腦計算數學問題,例如解方程式、求圓周率。超級電腦正是為了科學計算。知名軟體Mathematica、MATLAB。