• Verified LLL

  • Referenced in 2 articles [sw28661]
  • computer science, from cryptanalysis to number theory, but it is specially well-known since...
  • MISTY

  • Referenced in 29 articles [sw24162]
  • block and a variable number of rounds. MISTY is a generic name for MISTY1 ... designed on the basis of the theory of provable security against differential and linear cryptanalysis...
  • DSR Open Lab

  • Referenced in 1 article [sw28467]
  • software implementation for computational algebra and number theory. There is a lot of mathematical software ... used for teaching algebra or number theory. Some researchers, however, discovered that “the existing packages ... following mathematical structures: (1) systems of numbers, (2) algebraic systems (polynomials and groups...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • MEBN theory (MTheory) implicitly represents a joint probability distribution over possibly unbounded numbers of hypotheses...
  • MathSAT5

  • Referenced in 50 articles [sw09569]
  • applications; second, a full support for the theories of arrays and floating point; third, sound ... internal projects, as well as by a number of industrial partners...
  • psych

  • Referenced in 39 articles [sw04549]
  • Psychological, Psychometric, and Personality Research , A number of routines for personality, psychometrics and experimental psychology ... others provide basic descriptive statistics. Item Response Theory is done using factor analysis of tetrachoric...
  • CoLL

  • Referenced in 5 articles [sw13633]
  • Rosser modulo associative and/or commutative theories. Despite a small number of its techniques, experiments show...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • integration of a number of symbolic, constraint-based techniques, which are correct and terminating ... security protocols with respect to an algebraic theory of the employed cryptographic operators, which ... techniques for protocol verification for an unbounded number of sessions...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • ProbView: a flexible probabilistic database system. Probability theory is mathematically the best understood paradigm ... which they depend, using any of a number of strategies. Which strategy is appropriate depends ... negation, meaningful from the viewpoint of probability theory. (1) We propose a probabilistic relational data...
  • MadFKS

  • Referenced in 22 articles [sw10256]
  • well as Beyond the Standard Model theories. We give results for some sample processes that ... implementation, and show in particular how the number of subtraction terms has an extremely mild...
  • MHS

  • Referenced in 3 articles [sw31594]
  • Galois theory of supercongruences. A period is a complex number arising as the integral ... periods are typically transcendental numbers, there is a conjectural Galois theory of periods coming from ... theory of motives. This paper formalizes an analogy between a class of periods called multiple ... zeta values and congruences for rational numbers modulo prime powers (called supercongruences). We construct...
  • QPlus

  • Referenced in 1 article [sw18707]
  • shared computer tool QPlus for studying coding theory studying is presented. The system offers computations ... includes modular arithmetic, elementary number theory, vectors and matrices arithmetic and an environment for research...
  • ALNUTH

  • Referenced in 1 article [sw14846]
  • ALNUTH – ALgebraic NUmber THeory and an interface to the KANT system. A refereed ... package provides various methods to compute with number fields which are given by a defining...
  • PascGalois

  • Referenced in 1 article [sw09374]
  • undergraduate mathematics curriculum (e.g. abstract algebra, number theory, discrete mathematics) and cellular automata. The value...
  • Algorithm 938

  • Referenced in 1 article [sw12898]
  • well-known principles of elementary number theory, to ensure that each newly written value gets...
  • Hereditarily Finite Sets

  • Referenced in 6 articles [sw29249]
  • possible in ZF set theory (Cartesian products, disjoint sums, natural numbers, functions) without using infinite...
  • CompactCH

  • Referenced in 5 articles [sw34255]
  • number of gene lineages if the number of populations is fixed to be a constant ... STELLS algorithm both in theory and in practice when the number of populations is small...
  • Nefrit

  • Referenced in 2 articles [sw04094]
  • meanings of linguistic expressions (linguistic variable theory). Fuzzy numbers model expert evaluations of alternatives according...
  • Macnodal

  • Referenced in 10 articles [sw18714]
  • Macnodal package for intersection theory on Hilbert schemes of nodal curves. The program does ... numbers of tautological bundles, as in § 3 of the paper: Tautological module and intersection theory...