• GAMESS

  • Referenced in 34 articles [sw03002]
  • well as the Density Functional Theory approximation. Excited states can be computed...
  • CalcHEP

  • Referenced in 48 articles [sw06470]
  • lowest order of perturbation theory (the tree approximation). The main idea prescribed into the CalcHEP...
  • ABINIT

  • Referenced in 44 articles [sw06111]
  • within Many-Body Perturbation Theory (the GW approximation...
  • CompHep

  • Referenced in 39 articles [sw06473]
  • lowest order of perturbation theory (the tree approximation). The main idea prescribed into the CompHEP...
  • HLLE

  • Referenced in 546 articles [sw06605]
  • Leer and Einfeldt) solver is an approximate solution to the Riemann problem, which is only ... scheme is based on a new stability theory for discontinuities in fluids, which was never...
  • raSAT

  • Referenced in 7 articles [sw15206]
  • applies raSAT loop, which applies over/under approximation theories. An over-approximation theory detects UNSAT ... under-approximation theory detects SAT. If neither holds, raSAT loop refines bounded quantification by interval ... prepares various interval arithmetics as over-approximation theories, which are mostly Affine intervals. It also ... testing (with several strategies) as under-approximation theories. raSAT installation is confirmed on Win7, Win8...
  • GloptiPoly

  • Referenced in 291 articles [sw04343]
  • intended to solve, or at least approximate, the Generalized Problem of Moments (GPM), an infinite ... algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite...
  • LERS

  • Referenced in 121 articles [sw08637]
  • rough set theory principle. Rough set theory is especially well suited to deal with inconsistencies ... Instead, system LERS computes lower and upper approximations of each concept. Then it induces certain...
  • IMFIL

  • Referenced in 38 articles [sw04814]
  • approximation of the gradient. Implicit Filtering describes the algorithm, its convergence theory...
  • Sinc-Pack

  • Referenced in 63 articles [sw13600]
  • This book deals with the approximation by sinc functions and the application to the numerical ... contains five chapters. 1. One dimensional Sinc theory – 2. Sinc convolution-boundary integral equation methods...
  • BEDFix

  • Referenced in 9 articles [sw04469]
  • Fixed point) algorithm for the problem of approximating a fixed point of a function ... found in economics and game theory. The computed approximation satisfies a residual criterion given...
  • Nitpick

  • Referenced in 59 articles [sw00622]
  • functions. Fundamentally a finite model finder, it approximates infinite types by finite subsets. As case ... card system. Our experimental results on Isabelle theories and the TPTP library indicate that Nitpick...
  • CHEBINT

  • Referenced in 12 articles [sw06927]
  • determine the approximation (see [2]) that are based on the theory of Chebyshev lattices...
  • VASP

  • Referenced in 12 articles [sw19550]
  • approximate solution to the many-body Schrödinger equation, either within density functional theory (DFT), solving ... equations, or within the Hartree-Fock (HF) approximation, solving the Roothaan equations. Hybrid functionals that ... Hartree-Fock approach with density functional theory are implemented as well. Furthermore, Green’s functions...
  • AlgDesign

  • Referenced in 3 articles [sw20244]
  • Algorithmic experimental designs. Calculates exact and approximate theory experimental designs...
  • ShearLab

  • Referenced in 50 articles [sw06721]
  • which have been proposed to deliver sparse approximations of such features is the utilization ... threefold: We first develop a digital shearlet theory which is rationally designed in the sense...
  • WIEN97

  • Referenced in 10 articles [sw14850]
  • density functional theory and uses the local (spin) density approximation (LDA) or the improved version...
  • DEMORS

  • Referenced in 8 articles [sw02773]
  • based on the use of rough set theory is a viable alternative to obtain ... this sort of hybrid approach to approximate the Pareto front of a constrained multi-objective ... initial approximation of the Pareto front. Then, in the second stage, rough set theory...
  • HULLAC

  • Referenced in 3 articles [sw20581]
  • calculated in the distorted wave approximation. The theory and code are presented, emphasizing the various...
  • INGRID

  • Referenced in 16 articles [sw01071]
  • assisting researchers and students of graph theory, is described. It is a partial commutative rule ... based system using forward chaining, consists of approximately 1200 production rules, and is written ... data base of 36 graphical invariants and approximately 350 theorems symbolically relating these invariants ... interface provided by INGRID, even a graph theory novice can often discern properties...