Implementation of an Algorithm with Result Verification for Linear Systems in the Computer Algebra System Maple

This paper presents a first attempt at implementing an algorithm with result verification for linear systems in the computer algebra system Maple. The algorithm used is known from [5]--[9]. For the sake of convenience we briefly present it in the next section 2. Section 3 contains the description of the Maple procedures realizing the algorithm and their source code. Numerical results are reported in section 4. 2 The algorith