• FXT

  • Referenced in 9 articles [sw05348]
  • orthogonal transforms (Fourier-, Hartley-, Walsh-, Haar-, Wavelet-transform) 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 number-theoretic 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 number-theoretic transform (NTT) inside Kyber, which make very efficient...
  • Fullerene

  • Referenced in 7 articles [sw15046]
  • further quantum theoretical treatments. It includes a number of fullerene-to-fullerene 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 four-color adinkras. An adinkra is a graph-theoretic ... mathrm{o}})-equivalence class can be transformed into each other via field redefinitions ... these node-lifted 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 scheme-theoretic 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 transform-domain 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...