プログラム scirl.sf.net

SciRL - Scientific Research Libraries 無料

パターンマッチングで記号科学的表現を処理戦略。ユーザー定義可能な研究ライブラリに基づくすべてのシンボリックソリューションパターン。