Analysis of Dirac Systems and Computational Algebra