>>788
数式処理システムの、特に記号処理と言われる分野の話になる
ちょっと入門とは言えないし、詳しい人が多いとも思えない

まあ、それぐらいの計算であれば
実数を有理数と根号の掛け算として木構造で表して
簡単なルール適用で単純化していく事で何とかなりそうな気はするが