Matemática aplicada I
Département
University of Belgrade
Belgrado, SerbiaPublications en collaboration avec des chercheurs de University of Belgrade (2)
2018
-
Preface
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
2015
-
Automated Theorem Proving in GeoGebra: Current Achievements
Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59