1 paper · 1 filter
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…