• Invar

  • Referenced in 35 articles [sw00446]
  • fast manipulator of generic scalar polynomial expressions formed from the Riemann tensor of a four ... polynomial containing tensor products of up to seven Riemann tensors within seconds. It has been ... implemented both in Mathematica and Maple algebraic systems...
  • xPerm

  • Referenced in 33 articles [sw01153]
  • xPerm: fast index canonicalization for tensor computer algebra. We present a very fast implementation ... linked from any other program or computer algebra system. We demonstrate with tests and timings ... which it is exponential. Our implementation handles generic tensorial expressions with several dozen indices ... recent investigations in large-scale tensor computer algebra...
  • CAS

  • Referenced in 22 articles [sw07634]
  • allow: Generation of complete character tables: from generic formulae, eg. PSL(2,q); from matrix ... Galois conjugate; using an outer automorphism; powering, tensoring, inducing, extending; extracting irreducible components (using several ... constants of the centre of the group algebra; kernel of a character; p-blocks; power...
  • SageManifolds

  • Referenced in 3 articles [sw27192]
  • modern computer algebra system SageMath towards differential geometry and tensor calculus. All SageManifolds code ... need to be parallelizable. A given tensor field is then described by its sets ... frame transformations for overlapping vector frames. Generic pseudo-Riemannian manifolds can be considered, among which...
  • GRACE

  • Referenced in 3 articles [sw11987]
  • describe the main building blocks of a generic automated package for the calculation of Feynman ... intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation...
  • DLVM

  • Referenced in 1 article [sw22105]
  • compiler infrastructure with a linear algebra intermediate representation, algorithmic differentiation by adjoint code generation, domain ... more generic than existing deep learning compiler IRs, and supports tensor DSLs with high expressivity...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Blitz++

  • Referenced in 35 articles [sw00082]
  • Blitz++ provides dense numeric arrays for C++ with...
  • Canon

  • Referenced in 5 articles [sw00102]
  • The Canon package: a fast kernel for tensor...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

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

  • Referenced in 81 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

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

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...