• EXCALC

  • Referenced in 41 articles [sw06318]
  • scalar valued forms (indexed forms). It is thus an ideal tool for studying differential equations...
  • xgcm

  • Referenced in 1 article [sw29410]
  • xarray is ideal for analyzing GCM data in many ways, providing convenient indexing and grouping...
  • CTF

  • Referenced in 8 articles [sw25687]
  • provides completely general mapping support while maintaining ideal load balance. The mapping framework decides ... reduced to matrix multiplication calls via tensor index transpositions and partial unpacking. The user-level...
  • VirtuaSchlieren

  • Referenced in 1 article [sw29131]
  • simulations of ideal and non-ideal compressible-fluid flows is presented. The software VirtuaSchlieren simulates ... step. The local value of the refraction index was retrieved from the interpolated value ... compute the value of the refractive index. Two search algorithms are evaluated, namely, the approximate ... simulations of the supersonic expansion of non-ideal flows are also presented...
  • Citrus

  • Referenced in 1 article [sw08362]
  • classes, size, elements, group of units, minimal ideal, and testing membership, finding the inverses ... transformations and partial permutations such as the index and period or the least idempotent power...
  • ANSYS

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

  • Referenced in 11 articles [sw00055]
  • ATENSOR - REDUCE program for tensor simplification. Nature of...
  • AXIOM

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

  • Referenced in 101 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CLIFFORD

  • Referenced in 80 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 637 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Dafny

  • Referenced in 66 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • FGb

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

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • KANT/KASH

  • Referenced in 156 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • KnotPlot

  • Referenced in 26 articles [sw00491]
  • KnotPlot is a program to visualize and manipulate...
  • Kronecker

  • Referenced in 113 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LAPACK

  • Referenced in 1649 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LiDIA

  • Referenced in 52 articles [sw00518]
  • LiDIA: A library for computational number theory. LiDIA...
  • Macaulay2

  • Referenced in 1758 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...