Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Symbol manipulation by threaded lists
Communications of the ACM
Computer Algebra: Past and Future
Journal of Symbolic Computation
Trimmed-surface algorithms for the evaluation and interrogation of solid boundary representations
IBM Journal of Research and Development
Journal of the ACM (JACM)
Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM (JACM)
Computing polynomial resultants: Bezout's determinant vs. Collins' reduced P.R.S. algorithm
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
Solutions of systems of polynomial equations by elimination
Communications of the ACM
Paper: Characterization of equilibrium sets for bilinear systems with feedback control
Automatica (Journal of IFAC)
Mathematical symbol processing
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
| Hi-index | 0.05 |