
GaussQR
 Referenced in 61 articles
[sw28260]
 GaussQR: Stable Gaussian computation. Welcome to the GaussQR software website, developed both to facilitate experimentation...

micrOMEGAs
 Referenced in 57 articles
[sw01425]
 model. First developed to compute the relic density of a stable massive particle, the code...

GPfit
 Referenced in 15 articles
[sw14044]
 package GPfit: Gaussian Processes Modeling. A computationally stable approach of fitting a Gaussian Process ... commonly used statistical metamodels for emulating expensive computer simulators. Fitting a GP model ... Haynes, and Karsten (2011) proposed a computationally stable approach for fitting GP models to deterministic...

RKC
 Referenced in 104 articles
[sw00808]
 most efficient stable formula and the most efficient timestep. Various computational results and comparisons...

Dynamics
 Referenced in 167 articles
[sw09100]
 plotting of attractors, basins of attraction, the computing of straddle trajectories, the search ... specified period, bifurcation diagrams, the search for stable and unstable manifolds, the calculation of dimensions...

GAUSSIAN
 Referenced in 169 articles
[sw06118]
 numerous molecular properties derived from these basic computation types. It can be used to study ... wide range of conditions, including both stable species and compounds which are difficult or impossible...

RSIR
 Referenced in 15 articles
[sw26716]
 existing methods, RSIR is efficient in computation, very stable for data with high dimensionality...

WASP
 Referenced in 36 articles
[sw09565]
 solver handling disjunctive logic programs under the stable model semantics. WASP implements techniques originally introduced ... that have been specifically designed for ASP computation, such as source pointers enhancing unfoundedsets ... computation, forward and backward inference operators based on atom support, and techniques for stable model...

asprin
 Referenced in 8 articles
[sw30408]
 quantitative optimization in ASP that allows: computing optimal stable models of logic programs with preferences...

SYMSTB
 Referenced in 17 articles
[sw27803]
 Fortran program to compute a fast numerical approximation to the Symmetric Stable distribution and density...

ASPMT2SMT
 Referenced in 4 articles
[sw13280]
 System ASPMT2SMT: computing ASPMT theories by SMT solvers. Answer set programming modulo theories (ASPMT ... satisfiability modulo theories based on the functional stable model semantics. It is shown that ... instances, thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper ... system can effectively handle real number computations for reasoning about continuous changes...

VECTOR_PADE
 Referenced in 7 articles
[sw04679]
 Experiments with a weakly stable algorithm for computing PadéHermite and simultaneous Padé approximants ... fast, iterative, lookahead algorithm for numerically computing PadéHermite systems and simultaneous Padé systems along ... analysis showing that the algorithm is weakly stable. In this article, we describe a Fortran...

DeReS
 Referenced in 3 articles
[sw32312]
 theory is a logic program, DeReS computes stable models of this program and supports queries...

CoulombHiggs
 Referenced in 20 articles
[sw16336]
 allows to compute the PoincarLaurent polynomial of the moduli space of stable representations ... preprint [5] where a general algorithm for computing the index of the quantum mechanics...

f2lp
 Referenced in 10 articles
[sw09898]
 System f2lp – computing answer sets of firstorder formulas. We present an implementation ... general language of stable models proposed by Ferraris, Lee and Lifschitz. Under certain conditions, system ... turns a firstorder theory under the stable model semantics into an answer set program ... answer set solvers can be used for computing the general language. Quantifiers are first eliminated...

PRIMME
 Referenced in 40 articles
[sw04023]
 theoretical structure that allows for efficient and stable algorithms for obtaining a few required eigenpairs ... eigenproblems to push their accuracy and thus computational demands to unprecedented levels. Materials science, structural...

ralgb4
 Referenced in 2 articles
[sw22652]
 ralgb4 are described, which implement two computationally stable forms of the ralgorithms with adaptive ... constant space dilation factor. The results of computational experiments for an essentially ravinelike piecewise...

ralgb5
 Referenced in 2 articles
[sw22653]
 ralgb4 are described, which implement two computationally stable forms of the ralgorithms with adaptive ... constant space dilation factor. The results of computational experiments for an essentially ravinelike piecewise...

TMATROM
 Referenced in 4 articles
[sw22690]
 wave propagation model and hence the offline computation of the Tmatrix provides an efficient ... mathematically analyzed a numerically stable formulation for computing the Tmatrix (J. Comput. Appl. Math ... objectoriented implementation of the numerically stable formulation and can be used in conjunction with ... compare TMATROM with standard methods to compute the Tmatrix for a range...

StronglyStableIdeals
 Referenced in 7 articles
[sw27084]
 ideals with a given Hilbert polynomial. Strongly stable ideals are a key tool in commutative ... them well suited for both theoretical and computational applications. In the case of polynomial rings ... characteristic zero, the notion of strongly stable ideals coincides with the notion of Borelfixed ... method to compute the set of all saturated strongly stable ideals in a given polynomial...