xPerm: fast index canonicalization for tensor computer algebra.

José M. Martín-García

Published in: Comput. Phys. Commun. (2008)

Keyphrases

computer algebra
theorem prover
computer algebra systems
high order
index structure
database
data sets
databases
data structure
nearest neighbor
higher order
indexing techniques
inference rules
tensor field
automated theorem provers