First leaves: a tutorial introduction to Maple V
First leaves: a tutorial introduction to Maple V
Some human interaction issues in computer algebra
ACM SIGSAM Bulletin
Algorithms for type inference with coercions
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Some human interaction issues in computer algebra
ACM SIGCHI Bulletin
ACM SIGGRAPH 2007 courses
IEEE Transactions on Pattern Analysis and Machine Intelligence
Hi-index | 0.00 |