This repository is dedicated to the work done in connection with my master thesis at Technical University of Denmark (arXiv submission). The code is written in Lightning and can be made compatible to ...

This repository collects several tricks for polynomial multiplications that have found practical importance in lattice-based cryptosystems. In the literature, researchers argued the efficiency of ...

I observed an Algebra class recently where students were trying to multiply two polynomials, (x + 5) and (3x 2 - 5x - 4). And as I roamed the room, I noticed several students who were stuck because ...

Abstract: We develop algorithms for writing a polynomial as sums of powers of low degree polynomials in the non-degenerate case. This problem generalizes symmetric tensor decomposition which is widely ...

Abstract: Polynomial inequality proving is fundamental to many mathematical disciplines and finds wide applications in diverse fields. Current traditional algebraic methods are based on searching for ...