Progress on the development of a new system for performing indicial and component tensor calculations is described. The system uses some of the facilities of the Maple Computer Algebra System. We discuss our approach to the representation of tensors and the capabilities of the system in handling tensorial quantities. Some of the unique features of the system are the natural and straightforward representations of tensors, the existence of a tensor database with some heuristic methods to browse the database and the flexibility of the knowledge representation in the database in order to handle different gravitational theories.
Unfortunately, ACM prohibits us from displaying non-influential references for this paper.
To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=237075.