Duval, Dominique; Reynaud, Jean-Claude - In: Mathematics and Computers in Simulation (MATCOM) 42 (1996) 4, pp. 363-373
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.
