Journal of Symbolic Computation
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
An object-oriented approach to algebra system design
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Enlarging the REDUCE domain of computation
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation
Greatest common divisors of polynomials given by straight-line programs
Journal of the ACM (JACM)
Type inference in the presence of type abstraction
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Object-oriented programming for linear algebra
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Advances and trends in the design and construction of algebraic manipulation systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
An algorithms for computing integral bases of an algebraic function field
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
A deductive database of the groups of order dividing 128
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
ACM SIGPLAN Notices
A polymorphic functional language applied to symbolic computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An object-oriented language for symbolic computation—applied to machine element analysis
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
| Hi-index | 0.00 |