Scratchpad's view of algebra II: A categorical view of factorization
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Using pictorial and object oriented programming for computer algebra
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Real algebraic closure of an ordered field: implementation in Axiom
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Computer algebra handbook
Hi-index | 0.00 |