## Abstract

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.

Original language | English |
---|---|

Pages (from-to) | 47-58 |

Number of pages | 12 |

Journal | Software for Algebraic Geometry |

Volume | IMA 148 |

Publication status | Published - 2008 |