
GMO
 Referenced in 3 articles
[sw32991]
 /spl infin// norm, timedomain 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 firstorder logic ... strong interest in declarative modeling and constraintsolving 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 highlevel abstract models into finitedimensional ... 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 multidimensional boundary ... balancing decomposition of the grid computational domain into parameterized overlapping or nonoverlapping 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, PetrovGalerkin 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...

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

CLPSB
 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...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 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...