
POTHEA
 Referenced in 2 articles
[sw19948]
 parameter of the parametric selfadjoined 2D elliptic partial differential equation. A FORTRAN 77 program ... parameter of the parametric selfadjoined 2D elliptic partial differential equation with the Dirichlet and/or...

MUSCOP
 Referenced in 5 articles
[sw06143]
 problems (OCPs) constrained by timeperiodic partial differential equations (PDEs). The proposed method features asymptotically ... second stage we develop extensions for a parametric active set method (PASM) to achieve...

Algorithm 992
 Referenced in 1 article
[sw30516]
 constantcoefficient homogeneous linear differential equation defined on a sufficiently small interval. Using the obtained ... bases, our library can also generate, (partially) differentiate, modify, and visualize a large family ... surfaces that are described in traditional parametric form by means of the ordinary bases...

ADOLC
 Referenced in 209 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ALBERT
 Referenced in 79 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

AMD
 Referenced in 49 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

ACL2
 Referenced in 256 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 165 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CASA
 Referenced in 73 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CGAL
 Referenced in 309 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 564 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

complib
 Referenced in 24 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

Coq
 Referenced in 1536 articles
[sw00161]
 Coq is a formal proof management system. It...

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

CXSC 2.0
 Referenced in 119 articles
[sw00182]
 A C++ class library for extended scientific computing...

Epsilon
 Referenced in 37 articles
[sw00244]
 Epsilon is a library of functions implemented in...

GAP
 Referenced in 2404 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 110 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

Gerris
 Referenced in 198 articles
[sw00341]
 Gerris is a Free Software program for the...