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

CSPprover
 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 fullfeatured 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, longrange interactions ... potential energy surface (PES). PhysNet models trained on a systematically constructed set of small peptide ... wreathshaped configuration, which is more stable than the helical form by 0.46 kcal...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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 matrixoptimization 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...