This package computes coclones from a given algebra known to have a majority term. To do so, you first need to generate the algebra and save it as a .model file. An example is provided in ...

This was part of my tasks for an advanced PhD-level mathematics course in Theory of Algebra, where we were required to prepare weekly written summaries of our understanding drawn from several advanced ...

We propose computer-assisted techniques for helping with pedagogy in Algebra. In particular, given a proof problem p (of the from “Left-hand-side-term = Right-hand-side-term”), we show how to ...

ABSTRACT: The object of this paper is to present a new generalization of the Hermite matrix polynomials by means of the hypergeometric matrix function. An integral representation, differential ...