
FXT
 Referenced in 9 articles
[sw05348]
 orthogonal transforms (Fourier, Hartley, Walsh, Haar, Wavelettransform) and convolution. It contains a large collection ... permutations, combinations, necklaces, de Bruijn sequences). Number theoretic transforms and modular arithmetics are implemented. Operations...

GloptiPoly
 Referenced in 301 articles
[sw04343]
 classical problem of moments. From a theoretical viewpoint, the GPM has developments and impact ... short formulation, the GPM has a large number of important applications in various fields such ... possibly after some transformation) of the GPM with polynomial data.The approach is similar to that...

apfloat
 Referenced in 5 articles
[sw16493]
 digits with it. It uses Number Theoretic Transforms. It’s simple...

NFLlib
 Referenced in 4 articles
[sw14675]
 algorithmic optimizations (chinese remainder theorem, optimized number theoretic transform) together with programming optimization techniques ... ideal lattice cryptography implementations (namely the generic number theory libraries NTL and flint implementing polynomial...

cuHE
 Referenced in 1 article
[sw14879]
 handle very large polynomial operands using numbertheoretic transform (NTT) and Chinese remainder theorem ... times speedup depending on the number and size of the sorted elements...

Kyber
 Referenced in 1 article
[sw36432]
 novel optimization techniques for the numbertheoretic transform (NTT) inside Kyber, which make very efficient...

Fullerene
 Referenced in 7 articles
[sw15046]
 further quantum theoretical treatments. It includes a number of fullerenetofullerene transformations, such...

DReX
 Referenced in 2 articles
[sw16949]
 class of regular string transformations has a robust theoretical foundation including multiple characterizations, closure properties ... decidable analysis questions, and admits a number of string operations such as insertion, deletion, substring ... characterization of regular string transformations using a primitive set of function combinators analogous...

HEPTHools
 Referenced in 3 articles
[sw30615]
 numbers: eigenvalue equivalence classes for minimal fourcolor adinkras. An adinkra is a graphtheoretic ... mathrm{o}})equivalence class can be transformed into each other via field redefinitions ... these nodelifted adinkras Height Yielding Matrix Numbers (HYMNs) and introduce HYMN equivalence classes. These...

FastMMD
 Referenced in 3 articles
[sw31729]
 Taking advantage of sampling the Fourier transform, FastMMD decreases the time complexity for MMD calculation ... sample set, respectively. Here, L is the number of basis functions for approximating kernels that ... convergence of our method has also been theoretically proved in both unbiased and biased estimates...

FlexProt
 Referenced in 2 articles
[sw37001]
 flexible hinge regions simultaneously. A large number of methods are available to handle rigid structural ... fragments in both molecules. Transforming the task into a graph theoretic problem, our method proceeds...

galeDuality
 Referenced in 1 article
[sw18222]
 systems with `few’ mo’nomials’. A schemetheoretic isomorphism exists between the positive solutions ... system. Currently, galeDuality will compute the symbolic transformation of a fewnomial system to its corresponding ... find only the real solutions. When the number of monomials exceeds the number of variables...

LineCast
 Referenced in 1 article
[sw22029]
 captured line is immediately compressed by a transformdomain scalar modulo quantization. Without syndrome coding ... large number of receivers reach the qualities matching their channel conditions. Our theoretical analysis shows...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

Expokit
 Referenced in 179 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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

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

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

Isabelle
 Referenced in 611 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...