• 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, coordinate-aware 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 change-of-frame transformations for overlapping vector frames. Generic pseudo-Riemannian...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: 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 Maple-based “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...