論文欲しいなぁ

昨日読んでいた論文に引用されている論文が欲しいです。
使われてる定理の証明が知りたい。

あと，所属大学で Mathematica (数式処理ソフト)を年間契約でタダでインストール
させてもらえることがわかったのでこれも月曜日にインストールしたいところですね。
ちょっと複雑な計算があるので手計算する前に機械上で下調べしておきたいのもあって。