Matthew England

最近の実数定量消去とCADの進展は、数学の問題解決効率を高めてるよ。