• 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 time-step. 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 unfounded-sets ... 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 Poincar-Laurent 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 first-order formulas. We present an implementation ... general language of stable models proposed by Ferraris, Lee and Lifschitz. Under certain conditions, system ... turns a first-order 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 r-algorithms with adaptive ... constant space dilation factor. The results of computational experiments for an essentially ravine-like piecewise...
  • ralgb5

  • Referenced in 2 articles [sw22653]
  • ralgb4 are described, which implement two computationally stable forms of the r-algorithms with adaptive ... constant space dilation factor. The results of computational experiments for an essentially ravine-like piecewise...
  • TMATROM

  • Referenced in 4 articles [sw22690]
  • wave propagation model and hence the offline computation of the T-matrix provides an efficient ... mathematically analyzed a numerically stable formulation for computing the T-matrix (J. Comput. Appl. Math ... object-oriented implementation of the numerically stable formulation and can be used in conjunction with ... compare TMATROM with standard methods to compute the T-matrix 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 Borel-fixed ... method to compute the set of all saturated strongly stable ideals in a given polynomial...