MATEMÁTICAS FUNDAMENTALES
Department
Satoshi
Yamashita
Publications by the researcher in collaboration with Satoshi Yamashita (1)
2018
-
Issues and challenges about instrumental proof
Applications of Computer Algebra: proceedings