• GMO

  • Referenced in 3 articles [sw32991]
  • /spl infin// norm, time-domain constraint (TDC), and controller structure constraints. The GMO framework encompasses ... global convergence is guaranteed for the convex finite dimensional suboptimal problems, this set of routines...
  • BLSURF

  • Referenced in 5 articles [sw10379]
  • importance in many numerical applications including the finite element method. It is a necessary step ... generating a mesh which conforms to given constraints (prescribed sizes of the elements ... consists of meshing a 2D parametric domain, and a surface mesh is obtained when this...
  • IDP3

  • Referenced in 7 articles [sw22941]
  • system. The core of IDP3 is a finite model generator that supports first-order logic ... strong interest in declarative modeling and constraint-solving as opposed to algorithmic approaches. The paper ... interest. The first problem is in the domain of stemmatology, a domain of philology concerned...
  • pyomo.dae

  • Referenced in 1 article [sw26557]
  • modeling flexibility and the ability to express constraints that cannot be easily specified in other ... domain types, and the ability to automatically transform high-level abstract models into finite-dimensional ... programming models and mathematical programs with equilibrium constraint formulations. Collectively, these features enable the exploration...
  • KRYLOV

  • Referenced in 2 articles [sw20840]
  • arise in the finite volume or the finite element approximation of the multi-dimensional boundary ... balancing decomposition of the grid computational domain into parameterized overlapping or non-overlapping subdomains with ... based on the absence of the program constraints on the degree of freedom...
  • ManifoldCode

  • Referenced in 1 article [sw06974]
  • employs simplex triangulations of the domain manifold, Petrov-Galerkin finite element methods, a posteriori error ... communication approach in parallel adaptive finite element methods. MC was designed primarily to simulate ... semiconductor equations, and the Hamiltonian and momentum constraints in the Einstein equations. Ongoing projects include...
  • ADOL-C

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

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

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • AXIOM

  • Referenced in 170 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 308 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 156 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLPS-B

  • Referenced in 7 articles [sw00132]
  • This paper proposes an approach to the evaluation...
  • CoCoA

  • Referenced in 618 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 123 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Expokit

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

  • Referenced in 240 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...