Publications in collaboration with researchers from Joseph Fourier University (2)

2011

  1. fKenzo: a user interface for computations in Algebraic Topology

    Journal of Symbolic Computation, Vol. 46, Núm. 6, pp. 685-698

  2. fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica

    Gaceta de la Real Sociedad Matematica Española, Vol. 14, Núm. 2, pp. 297-308