プログラム scirl.sf.net

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