https://123deta.com/document/z11dn5dz-整数係数多項式の近似GCDII数式処理研究の新たな発展.html