
Verified LLL
 Referenced in 2 articles
[sw28661]
 computer science, from cryptanalysis to number theory, but it is specially wellknown 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, constraintbased 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]
 wellknown 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...