zeilbergerとatensorの翻訳が一応終わりました。超幾何項の定総和、不定総和のパッケージと(Grassman代数とかClifford代数とか)代数テンソル操作パッケージです。 http://www.h3.dion.ne.jp/~y.ich/Maxima/maxima_84.html http://www.h3.dion.ne.jp/~y.ich/M…