2013/02
2013/03
2013/04
おそらく、置換積分法(integration by substitution)を自動的にやろうとしているのではないか、という気がします。 PAIP では、 "dirivative-divides method" とか "因数(factor)" とか耳慣れない言葉を使っているので、わかりづらいなと思いました。