
FIDE
 Referenced in 5 articles
[sw09196]
 routine analytical calculations, namely: transformation of differential equations into different coordinate systems, discretization of differential ... documented: EXPRESS for transforming PDES into any orthogonal coordinate system. IIMET for discretization of PDES...

GRC 3.2
 Referenced in 5 articles
[sw11333]
 English phrases. GRG understands tensors, spinors, vectors, differential forms and knows all standard operations with ... covariant and Lie derivatives, perform coordinate and frame transformations etc. GRG works in any dimension...

xgcm
 Referenced in 1 article
[sw29410]
 providing convenient indexing and grouping, coordinateaware data transformations, and (via dask) parallel ... used in ocean and atmospheric models and differential and integral operators suited to these grids...

SageManifolds
 Referenced in 1 article
[sw27192]
 installation. SageManifolds deals with differentiable manifolds of arbitrary dimension. Various coordinate charts and vector frames ... vector frame, with automatic changeofframe transformations for overlapping vector frames. Generic pseudoRiemannian...

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

ANSYS
 Referenced in 655 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

BARON
 Referenced in 311 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

CLIFFORD
 Referenced in 79 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

Gaalop
 Referenced in 27 articles
[sw00313]
 Gaalop – high performance parallel computing based on conformal...

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

GeM
 Referenced in 87 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

HSL
 Referenced in 269 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

ISOGAT
 Referenced in 281 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

ITPACK
 Referenced in 47 articles
[sw00459]
 The ITPACK project: Past, present, and future The...

LAPACK
 Referenced in 1626 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...