Browsing Theses by Supervisor "Labahn, George"
Now showing items 1-5 of 5
-
Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration
(University of Waterloo, 2017-06-26)The field of analytic combinatorics, which studies the asymptotic behaviour of sequences through analytic properties of their generating functions, has led to the development of deep and powerful tools with applications ... -
Fast algorithms for computing with integer matrices: normal forms and applications
(University of Waterloo, 2021-09-24)The focus of this thesis is on fundamental computational problems in exact integer linear algebra. Specifically, for a nonsingular integer input matrix A of dimension n, we consider problems such as linear system solving ... -
Homotopy algorithms for solving structured determinantal systems
(University of Waterloo, 2020-12-17)Multivariate polynomial systems arising in numerous applications have special structures. In particular, determinantal structures and invariant systems appear in a wide range of applications such as in polynomial optimization ... -
MathBrush web application: Design and implementation of an online pen-input interface for computer algebra systems
(University of Waterloo, 2017-08-15)Several pen-math systems have been developed for mobile and tablet platforms, most notably by the MathBrush project. With the increasing variety of available devices and platforms used by students, this thesis aims to ... -
Matrix Polynomials and their Lower Rank Approximations
(University of Waterloo, 2019-08-07)This thesis is a wide ranging work on computing a “lower-rank” approximation of a matrix polynomial using second-order non-linear optimization techniques. Two notions of rank are investigated. The first is the rank as the ...