抄録
Since Euler, values of various zeta functions have long attracted a lot
of mathematicians. In computer algebra community, Ap´ery’s proof of the irrationality of ζ(3) is well known. In this paper, we are concerned with the “multiple zeta value (MZV)”. More than fifteen years ago, D. Zagier gave a conjecture on MZVs based on numerical computations on PARI. Since then there have been various derived conjectures and two kinds of efforts for attacking them: one is a mathematical proof and another one is a computational experiment to get more confidence to verify a conjecture. We have checked one of these conjectures up to weight k = 20, which will be explained later, with Risa/Asir function for non-commutative polynomials and special parallel programs of linear algebra designed for this purpose.
of mathematicians. In computer algebra community, Ap´ery’s proof of the irrationality of ζ(3) is well known. In this paper, we are concerned with the “multiple zeta value (MZV)”. More than fifteen years ago, D. Zagier gave a conjecture on MZVs based on numerical computations on PARI. Since then there have been various derived conjectures and two kinds of efforts for attacking them: one is a mathematical proof and another one is a computational experiment to get more confidence to verify a conjecture. We have checked one of these conjectures up to weight k = 20, which will be explained later, with Risa/Asir function for non-commutative polynomials and special parallel programs of linear algebra designed for this purpose.
本文言語 | 英語 |
---|---|
ページ(範囲) | 47-58 |
ページ数 | 12 |
ジャーナル | Software for Algebraic Geometry |
巻 | IMA 148 |
出版ステータス | 出版済み - 2008 |