Normal view
MARC view
Computeralgebra (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Mathematics Mechanization (6th : 2004 : Shanghai, China) 26747, Computer algebra and geometric algebra with applications :, ©2005.