1 paper
César Dominguez, Dominique Duval
The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization proc…