Sketches and computations over fields
The goal of this short paper is to describe one possible use of sketches in computer algebra. We show that sketches are a powerful tool for the description of mathematical structures and for the description of computations.
sketches computer algebra types and algebraic structures dynamic evaluation