[ACM Press the 38th international symposium - Boston, Maine, USA (2013.06.26-2013.06.29)] Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 - Certified symbolic manipulation
Lambán, Laureano, Martín-Mateos, Francisco J., Rubio, Julio, Ruiz-Reina, José-LuisYear:
2013
Language:
english
DOI:
10.1145/2465506.2465515
File:
PDF, 415 KB
english, 2013