Algebra and coalgebra in computer science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

ACM communications in computer algebra.

A poly algorithm for computing resultants von Bartolome, Jose Ronello Tamayo

The Maple book von Garvan, Frank 1955-

Symbolic computation solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equa...

Fundamental problems of algorithmic algebra von Yap, Chee-Keng

Some tapas of computer algebra