算法库

此软件的关键字
zbMATH中的参考文献(参考
2篇文章
引用)
Chyzak,Frédéric;Mahboubi,Assia;Sibut Pinote,Thomas;Tassi,Enrico:基于计算机代数的形式化证明(\zeta(3))(2014) Sloane,N.J.A.;Wieder,Thomas:等级排序的数量(2004)