
GAMESS
 Referenced in 36 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 45 articles
[sw06111]
 within ManyBody 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 551 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 overapproximation theory detects UNSAT ... underapproximation theory detects SAT. If neither holds, raSAT loop refines bounded quantification by interval ... prepares various interval arithmetics as overapproximation theories, which are mostly Affine intervals. It also ... testing (with several strategies) as underapproximation theories. raSAT installation is confirmed on Win7, Win8...

GloptiPoly
 Referenced in 293 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 39 articles
[sw04814]
 approximation of the gradient. Implicit Filtering describes the algorithm, its convergence theory...

SincPack
 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 convolutionboundary 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 61 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...

VASP
 Referenced in 14 articles
[sw19550]
 approximate solution to the manybody Schrödinger equation, either within density functional theory (DFT), solving ... equations, or within the HartreeFock (HF) approximation, solving the Roothaan equations. Hybrid functionals that ... HartreeFock approach with density functional theory are implemented as well. Furthermore, Green’s functions...

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

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 multiobjective ... 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...