New results for random determination of equivalence of expressions
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Common LISP: the language
Speed and data structures in computer algebra systems
ACM SIGSAM Bulletin
Hashing LEMMAs on time complexities with applications to formula manipulation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Characterization of VAX Macsyma
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Evaluation of "performance enhancements" in algebraic manipulation systems
Evaluation of "performance enhancements" in algebraic manipulation systems
Brand X: LISP support for semantic networks
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |