Factoring Polynomials with Rational Coefficients.
Fast searching for Andrews-Curtis trivializations.
Finely homogeneous computations in free Lie algebras.
Free associative algebras, noncommutative Gröbner bases, and universal associative envelopes for nonassociative structures
First, we provide an introduction to the theory and algorithms for noncommutative Gröbner bases for ideals in free associative algebras. Second, we explain how to construct universal associative envelopes for nonassociative structures defined by multilinear operations. Third, we extend the work of Elgendy (2012) for nonassociative structures on the 2-dimensional simple associative triple system to the 4- and 6-dimensional systems.
From classical numerical mathematics to scientific computing.
Further results on supernumary polylogarithmic ladders.