University of Franche-Comté-ko ikertzaileekin lankidetzan egindako argitalpenak (3)

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

2016

  1. A GCD algorithm by values

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

2010

  1. Local bézout theorem

    Journal of Symbolic Computation, Vol. 45, Núm. 10, pp. 975-985