Abstract
We study the matrix representation of Poincaré normalization using the Carleman linearization technique for non-autonomous differential systems with quasi-periodic coefficients. We provide a rigorous proof of the validity of the matrix representation of the normalization and obtain a recursive algorithm for computing the normalizing transformation and the normal form of the differential systems. The algorithm provides explicit formulas for the coefficients of the normal form and the corresponding transformation.