Browsing Theses by Subject "Symbolic computation"
Now showing items 1-2 of 2
-
Smith Normal Form over Local Rings and Related Problems
(University of Waterloo, 2017-08-28)The Smith normal form is a diagonalization of matrices with many applications in diophantine analysis, graph theory, system control theory, simplicial homology, and more recently, in topological analysis of big data. ... -
Symbolic Integration of Multibody System Dynamics with Finite Element Method
(University of Waterloo, 2017-01-06)A general procedure integrating the finite element method with multibody system dynamics using symbolic computation is presented. It takes advantage of both the nodal formulation and the graph-theoretical approach, so it ...