• P-LINCS

  • Referenced in 3 articles [sw21733]
  • decomposition. In this paper the parallel linear constraint solver (P-LINCS) is presented, which allows ... improvements in the accuracy of uncoupled angle constraints and integration in single precision...
  • RPSALG

  • Referenced in 6 articles [sw12637]
  • convex optimization problem involving the parametric constraints as objective function with the parameter as variable ... problem with a variant of the cutting angle method called ECAM, a global optimization procedure...
  • AINS

  • Referenced in 1 article [sw11361]
  • constraints. The toolbox supports various attitude parameterizations including the direction cosine matrix (DCM), Euler angles...
  • SimuMCAT

  • Referenced in 1 article [sw13941]
  • five MCAT item seelction procedures (includes Angle, Reckase 2009; Volume, Segall, 1996; Kullback-Leibler information ... Multidimensional Priority Index for content constraints...
  • ADOL-C

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

  • Referenced in 662 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Cinderella

  • Referenced in 151 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GANSO

  • Referenced in 6 articles [sw00319]
  • We discuss the implementation of a number of...
  • GAP

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

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

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • Gmsh

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

  • Referenced in 76 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • hypre

  • Referenced in 272 articles [sw00426]
  • hypre is a software library for the solution...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LGO

  • Referenced in 92 articles [sw00516]
  • The program system LGO serves to solve global...
  • LSQR

  • Referenced in 367 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

  • Referenced in 1692 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...