
Magma
 Referenced in 3296 articles
[sw00540]
 package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... rigorous environment for defining and working with structures such as groups, rings, fields, modules, algebras...

GAP
 Referenced in 3154 articles
[sw00320]
 algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library ... their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source...

CSparse
 Referenced in 218 articles
[sw20382]
 depth knowledge of the underlying theory, algorithms, and data structures found in sparse matrix software...

PhaseLift
 Referenced in 219 articles
[sw31783]
 applications. Our approach, called PhaseLift, combines multiple structured illuminations together with ideas from convex programming ... introduce some theory showing that one can design very simple structured illumination patterns such that...

LISREL
 Referenced in 336 articles
[sw06514]
 methods and software have become synonymous with structural equation modeling (SEM). SEM allows researchers ... other fields to empirically assess their theories. These theories are usually formulated as theoretical models...

MUL2
 Referenced in 64 articles
[sw06169]
 Plates and shells for smart structures. Classical and advanced theories for modeling and analysis...

ELPA
 Referenced in 25 articles
[sw18389]
 scalable parallel eigenvalue solutions for electronic structure theory and computational science...

LiE
 Referenced in 164 articles
[sw01075]
 representation theory of complex semisimple (reductive) Lie groups and algebras, and on the structure...

GMRFLib
 Referenced in 309 articles
[sw06641]
 Gaussian Markov random fields. Theory and applications. Researchers in spatial statistics and image analysis ... range of applications for this methodology, from structural timeseries analysis to the analysis ... subject.par Gaussian Markov Random Fields: Theory and Applications provides such a reference, using a unified...

LSSVMlab
 Referenced in 26 articles
[sw07367]
 within the context of statistical learning theory and structural risk minimization. In the methods...

FeynRules
 Referenced in 100 articles
[sw06468]
 context of two nonminimal supersymmetric theories, namely the minimal supersymmetric standard model with $R$parity ... probe interaction vertices involving a nonstandard color structure and the sector of the top quark ... show how to efficiently implement these theories in the {sc Mathematica} package {sc FeynRules...

BEAM189
 Referenced in 49 articles
[sw07447]
 characteristics analysis of space inflatable loadcarrying structures This paper extends ... inflatable beam theory to model the inflatable structures as a set of inflatable beam elements...

Why3
 Referenced in 134 articles
[sw04438]
 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets ... maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user...

Petruchio
 Referenced in 15 articles
[sw04394]
 theory of structural stationarity in the πcalculus Automatatheoretic representations have proven useful ... application of the theory, we identify a rich syntactic class of structurally stationary processes, called...

PALP
 Referenced in 70 articles
[sw00672]
 string theory, like the computation of Hodge data and fibration structures for toric Calabi...

PROMAL
 Referenced in 19 articles
[sw04249]
 strong. Used in everything from aircraft structures to golf clubs, and serving industries from medicine ... allows readers to conduct studies, compare theories, design structures, and quickly access the information...

WIEN2k
 Referenced in 43 articles
[sw04975]
 perform electronic structure calculations of solids using density functional theory (DFT). It is based ... among the most accurate schemes for band structure calculations. WIEN2k is an allelectron scheme...

Quantum Espresso
 Referenced in 50 articles
[sw06129]
 electronicstructure calculations and materials modeling, based on densityfunctional theory, plane waves, and pseudopotentials ... opEn Source Package for Research in Electronic Structure, Simulation, and Optimization. It is freely available...

ALM
 Referenced in 8 articles
[sw29436]
 meant to remedy this problem. Structuring of knowledge in ALM is supported by the concepts ... description of ALM into two parts: theory and structure. A theory consists ... domain together with axioms describing them. Structures are used to describe the domain’s objects ... knowledge representation libraries. To appear in Theory and Practice of Logic Programming (TPLP...

BIGEBRA
 Referenced in 21 articles
[sw00078]
 BIGEBRA package for Maple. Hopf algebraic structures will replace groups and group representations ... leading paradigm in forthcoming times. Ktheory, cohomology, entanglement, statistics, representation categories, quantized ... twisted structures as well as more geometric topics of invariant theory, e.g., the GraßmannCayley...