Publicacións nas que colabora con Elvira Pérez Callejo (1)

2023

  1. Pruning algorithm of the Taylor resolution - an implementation

    EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones