• # 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...
• # 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...
• # 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 time-series analysis to the analysis ... subject.par Gaussian Markov Random Fields: Theory and Applications provides such a reference, using a unified...
• # 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 load-carrying 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 Automata-theoretic representations have proven useful ... application of the theory, we identify a rich syntactic class of structurally stationary processes, called...
• # 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 all-electron scheme...
• # Quantum Espresso

• Referenced in 50 articles [sw06129]
• electronic-structure calculations and materials modeling, based on density-functional 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. K-theory, co-homology, entanglement, statistics, representation categories, quantized ... twisted structures as well as more geometric topics of invariant theory, e.g., the Graßmann-Cayley...