• Lparse

  • Referenced in 44 articles [sw04633]
  • implements several other semantics (classical negation, partial stable models) by translating them into normal logic...
  • CSP-prover

  • Referenced in 16 articles [sw11465]
  • Prover currently focuses on the stable failures model F as the underlying denotational semantics ... denotational semantics: the theory of complete partial orders (cpo) as well as the theory...
  • ASPMT2SMT

  • Referenced in 5 articles [sw13280]
  • thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper ... grounder gringo and SMT solver z3. gringo partially grounds input programs while leaving some variables...
  • AMMP

  • Referenced in 1 article [sw10923]
  • modern full-featured molecular mechanics, dynamics and modeling program. It can manipulate both small molecules ... addition to standard features, like numerically stable molecular dynamics, fast multipole method for including ... residues. Adding missing hydrogen atoms and completing partial structures, which are difficult for many programs...
  • Algorithm 992

  • Referenced in 3 articles [sw30516]
  • based function library for curve and surface modeling in a large class of extended Chebyshev ... bases, our library can also generate, (partially) differentiate, modify, and visualize a large family ... space, the proposed library is numerically stable and efficient up to a reasonable dimension number...
  • PhysNet

  • Referenced in 1 article [sw40931]
  • Predicting Energies, Forces, Dipole Moments and Partial Charges. In recent years, machine learning (ML) methods ... order to probe the performance of ML models for describing chemical reactions, long-range interactions ... potential energy surface (PES). PhysNet models trained on a systematically constructed set of small peptide ... wreath-shaped configuration, which is more stable than the helical form by 0.46 kcal...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • complib

  • Referenced in 34 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • Expokit

  • Referenced in 198 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gerris

  • Referenced in 313 articles [sw00341]
  • Gerris is a Free Software program for the...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Hopscotch

  • Referenced in 44 articles [sw00413]
  • Hopscotch: a fast second order partial differential equations...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • IRKC

  • Referenced in 20 articles [sw00452]
  • The Fortran 90 code IRKC is intended for...
  • ISOGAT

  • Referenced in 310 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...