Matrix predicates

Autoren Rahul Athale
Titel Matrix predicates
Typ Technischer Bericht
Nummer SCCH-TR-0142
Ort Hagenberg, Austria
Institution SCCH
Jahr 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.