Matrix predicates

Authors Rahul Athale
Title Matrix predicates
Type techreport
Number SCCH-TR-0142
Address Hagenberg, Austria
Institution SCCH
Year 2001
SCCH ID# 142

This article summarizes the results of a project dealing with simplification of matrix expressions and the implementation of some matrix predicates in the mathematical software system Mathematica 4.0. The first part gives the overview of the current state of Mathematica and other similar systems and some relevant definitions. The latter part deals with the literature study and implementation of matrix predicates.