
LMFDB
 Referenced in 158 articles
[sw07249]
 simplest example being the Riemann zeta function. Two of the seven Clay Mathematics Million Dollar...

mpmath
 Referenced in 57 articles
[sw05802]
 plus a few nonelementary special functions (gamma, zeta, etc.), and has utilities for arbitraryprecision...

ComputeL
 Referenced in 7 articles
[sw31452]
 specifically designed to work with Lfunctions of motivic origin with an arbitrary number ... includes examples of computations with Riemann zetafunction; Dirichlet Lfunctions of Dirichlet characters ... Dedekind zetafunction of a number field; Lfunctions associated to (H1 of) curves ... modular forms and Shintani’s zetafunction...

reszeta.lib
 Referenced in 9 articles
[sw10901]
 Singular library reszeta.lib: for topological zetafunction and some other applications of desingularization...

Zeta
 Referenced in 9 articles
[sw13746]
 Zeta provides methods for computing topological zeta functions arising from the enumeration of subalgebras, ideals ... methods used, see [1,2,3]. Zeta is distributed as a Pythonpackage...

mp toolbox
 Referenced in 6 articles
[sw14489]
 /private/*.c files and recompile).The overloaded functions sum, min, and max only work ... this can be adjusted in @mp/rand.mA zeta function using m arithmetic is provided, whereas native...

eisenstein_series
 Referenced in 4 articles
[sw33600]
 formulas for the Igusa local zeta function. At last we use the implemented programs...

RIEMANN ZETA FUNCTION
 Referenced in 1 article
[sw11842]
 program for computing the Riemann zeta function for complex argument. Nature of problem: The series ... requires the evaluation of the Zeta function zeta(s) for real argument. However, important mathematical...

zetadiv
 Referenced in 0 articles
[sw18172]
 Functions to Compute Compositional Turnover Using Zeta Diversity. Functions to compute compositional turnover using zeta ... multiple assemblages. The package includes functions to compute zetadiversity for a specific number ... assemblages. It also includes functions to explain how zetadiversity varies with distance and with...

HOLZ
 Referenced in 11 articles
[sw02996]
 typechecked by the Javabased ZeTaSystem. HOLZ then allows for the formal ... proof obligations resulting from refinement statements for functional and data refinement...

MHS
 Referenced in 4 articles
[sw31594]
 arising as the integral of a rational function with algebraic number coefficients over a region ... between a class of periods called multiple zeta values and congruences for rational numbers modulo...

CHABIS
 Referenced in 19 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

crystal
 Referenced in 2 articles
[sw00167]
 A Maple package for the decomposition of certain...

FLINT
 Referenced in 58 articles
[sw00297]
 Fast library for number theory: an introduction. We...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HURRY
 Referenced in 27 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...