
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 largescale 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; pblocks; 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 pseudoRiemannian 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]
 HOM4PS2.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...