Programming and Symbolic Computation Team
Department of Mathematics and Computer Science, University of La Rioja, Logroño, Spain. Research has been focused on the design, specification and construction of symbolic computation systems for Algebraic Topology.