1
Mathematical Software – ICMS 2014 [E-Book] : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /
2
Automated Deduction in Geometry [E-Book] / 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers