今でもTは何に使えるかよくわかりません。。
数学の定理の証明に特化できますか？
自動定理証明は離散数学で少しだけ学びましたが、それをどうすればコンピュータで実現させるかはわかりません
Matlabを使えば殆どの問題は解けるのだが