Publicacións en colaboración con investigadores/as de Johannes Kepler University of Linz (3)

2018

  1. Preface

    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

2015

  1. A singular web service for geometric computations

    Annals of Mathematics and Artificial Intelligence, Vol. 74, Núm. 3, pp. 359-370

  2. Automated Theorem Proving in GeoGebra: Current Achievements

    Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59