
PALP
 Referenced in 62 articles
[sw00672]
 applications to toric geometry and string theory, like the computation of Hodge data and fibration ... creation and manipulation of very large lists of 5dimensional polyhedra. While originally intended...

GameShrink
 Referenced in 12 articles
[sw12511]
 computational game theory, but current techniques do not scale to large games. To address this...

Orbifolder
 Referenced in 21 articles
[sw12505]
 computes and analyzes the lowenergy effective theory of heterotic orbifold compactifications. The program includes ... couplings in the superpotential, to automatically generate large sets of orbifold models, to identify phenomenologically...

SInE
 Referenced in 1 article
[sw16026]
 Engine) is a metaprover targeted on large theories, especially on SUMO. Given a theory...

randoCoP
 Referenced in 1 article
[sw15149]
 TPTP library and problems involving large theories...

MegaWave
 Referenced in 27 articles
[sw04428]
 mathematical formalization of the Gestalt theory. Gestalt theory, which had never been formalized ... background of elementary calculus and probability. A large number of illustrations, exercises and examples...

Nengo
 Referenced in 5 articles
[sw30219]
 building largescale functional brain models. Neuroscience currently lacks a comprehensive theory of how cognitive ... Neural Engineering Framework (NEF) proposes one such theory, but has not yet gathered significant empirical ... technical challenge of building and simulating largescale models with the NEF. Nengo...

HR
 Referenced in 29 articles
[sw10392]
 named after mathematicians Hardy and Ramanujan  performs theory formation in mathematical domains. It works ... MACE are effective, HR can produce large numbers of theorems for testing automated theorem provers...

RedHom
 Referenced in 12 articles
[sw08776]
 elementary reductions and coreductions and discrete Morse theory. Reduction methods are applied to speed ... diagonalization method, which is unsatisfactorily slow for large inputs due to is cubical complexity. RedHom...

SUSY LATTICE
 Referenced in 4 articles
[sw16830]
 fourdimensional 𝒩=4 supersymmetric YangMills theory with gauge group SU (N). The lattice ... retains a similar largescale framework despite the different target theory. Many routines are adapted...

WORHP
 Referenced in 15 articles
[sw10824]
 Huge Problems (WORHP) is a solver for largescale, sparse, nonlinear optimization problems with millions ... regularity assumptions are necessary for the underlying theory and the algorithms based on it. WORHP ... applicationdriven design and development philosophy. Two largescale optimization problems from space applications that...

AEtnaNova
 Referenced in 8 articles
[sw06360]
 largescale script which leads from the builtin rudiments of set theory...

Wannier90
 Referenced in 12 articles
[sw01010]
 calculation of dielectric properties via the modern theory of polarisation; and as an accurate ... construction of model Hamiltonians for largescale systems, in linearscaling quantum Monte Carlo calculations...

PHoM
 Referenced in 30 articles
[sw04645]
 homotopy functions, based on the polyhedral homotopy theory, from input data for a given system ... demonstrate the performance of PHoM include some large polynomial systems that have not been solved...

Rivet
 Referenced in 7 articles
[sw18238]
 Theory) is a system for validation of Monte Carlo event generators. It provides a large ... comparison to and development of future theory models. It is used by phenomenologists, MC generator...

EDS
 Referenced in 6 articles
[sw00230]
 systems theory, including prolongation and involution analysis, and has been optimized for large, nonlinear problems...

GAMESS
 Referenced in 34 articles
[sw03002]
 approaches, as well as the Density Functional Theory approximation. Excited states can be computed ... sophisticated treatments to be used on very large systems, by dividing the computation into small...

BenderWu
 Referenced in 9 articles
[sw22948]
 computer computation of high orders of perturbation theory (about 100 orders in 1030 seconds ... enables practical study of a large class of problems in Quantum Mechanics. We have ... package. One is that due to resurgence, large amount of nonperturbative information, such ... tool, providing an effective bridge between perturbation theory and nonperturbative physics in textbooks. Finally...

Referee
 Referenced in 7 articles
[sw12439]
 largescale script which leads from the builtin rudiments of set theory...

TRAVOS
 Referenced in 19 articles
[sw11985]
 ensure good interactions among software agents in large scale open systems. Against this background ... partner. Specifically, trust is calculated using probability theory taking account of past interactions between agents...