• 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 5-dimensional 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 low-energy 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 large-scale 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 large-scale 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]
  • four-dimensional 𝒩=4 supersymmetric Yang-Mills theory with gauge group SU (N). The lattice ... retains a similar large-scale framework despite the different target theory. Many routines are adapted...
  • WORHP

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

  • Referenced in 8 articles [sw06360]
  • large-scale script which leads from the built-in 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 large-scale systems, in linear-scaling 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 10-30 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 non-perturbative information, such ... tool, providing an effective bridge between perturbation theory and non-perturbative physics in textbooks. Finally...
  • Referee

  • Referenced in 7 articles [sw12439]
  • large-scale script which leads from the built-in 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...