摘要

In this paper, we present an algorithm which can prove algebraic relations involving -quotients, where is the Dedekind eta function.

  • 出版日期2018-6