@inproceedings{weko_155514_1, author = "市川,祐輔 and 二村,良彦 and 上田,和紀", title = "A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)", booktitle = "情報科学技術フォーラム一般講演論文集", year = "2005", volume = "4", number = "1", pages = "53--54", month = "aug" }