Pontevedra
Campus
Johannes Kepler University of Linz
Linz, AustriaPublicacións en colaboración con investigadores/as de Johannes Kepler University of Linz (3)
2018
-
Preface
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
2015
-
A singular web service for geometric computations
Annals of Mathematics and Artificial Intelligence, Vol. 74, Núm. 3, pp. 359-370
-
Automated Theorem Proving in GeoGebra: Current Achievements
Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59