講演概要(英文)が ACM Communications in Computer Algebra に掲載されました(2011年9月28日)