Maxima で綴る数学の旅

類体論へ至る道―初等数論からの代数入門 作者:足立 恒雄 出版社/メーカー: 日本評論社 発売日: 2010/02/01 メディア: 単行本 代数的数の和は代数的数になることの証明はこの本を参照してください。著者によれば、この証明は数学者デデキントによるそうです。 この証明が実は構成的でアルゴリズムになっています。つまり代…