 Elimination Methods in Polynomial Computer Algebra (Mathematics and Its Applications) by V. Bykov, A. Kytmanov, et all 19981031
 A Guide to Computer Algebra Systems (Wiley professional computing) by David Harper, Chris Wooff, et all 199109
 Logic and Algebra of Specification (NATO ASI Series / Computer and Systems Sciences)
 At Last Computer Exercise for Linear Algebra by Steven J. Leon, 199601
 Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
 Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 911, 1990. Proceedings (Lecture Notes in Computer Science)
 Analysis, Algebra and Computers in Mathematical Research (Lecture Notes in Pure and Applied Mathematics)
 Thinking Machines: A Layman's Introduction to Logic, Boolean Algebra, and Computers. by Irving. Adler, 197406
 Perturbation Methods, Bifurcation Theory and Computer Algebra (Applied Mathematical Sciences) by Richard H. Rand, Dieter Armbruster, 19871005
 Computers in Algebra (Lecture Notes in Pure and Applied Mathematics)
 Macalgebra: Basic Algebra on the Macintosh (Computers and Math Series) by Marvin Marcus, Rebecca Marcus, 198512
 Applications of Computer Algebra
 Computer Algebra 2006: Latest Advances in Symbolic Algorithms: Proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 1012 April 2006
 Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 1921, 2004 and International Workshop, ... Computer Science and General Issues)
