Computer Mathematics - Proceedings of the Fifth Asian Sym...
Shirayanagi, Kiyoshi / Yokoyama, Kazuhiro Covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design.