An extension to ALGOL for manipulating formulae
Communications of the ACM
Simplification of algebraic expression by multiterm rewriting rules
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Commentary on: solving symbolic equations with PRESS
ACM SIGSAM Bulletin
A differential-equations approach to functional equivalence
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Labeled trees and the efficient computation of derivations
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Gröbner basis, integration and transcendental functions
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
The identity problem for elementary functions and constants
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A simplified method of recognizing zero among elementary constants
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Problem of Recognizing Zero
Journal of the ACM (JACM)
The Undecidability of the Existence of Zeros of Real Elementary Functions
Journal of the ACM (JACM)
Towards a general theory of special functions
Communications of the ACM
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Interactive mathematics textbooks
ACM SIGPLAN Notices
Symbolic mathematical computation in a Ph.D. computer science program
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Algebraic simplification a guide for the perplexed
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On the problem of recognizing zero
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Simplification of radical expressions
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Canonical representatives for residue classes of a polynomial ideal
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A graphics typesetting language
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
Symbolic mathematical computation in a Ph. D. computer science program
ACM SIGCSE Bulletin
Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
On computing with factored rational expressions
ACM SIGSAM Bulletin
Course outline: Yale University, New Haven
ACM SIGSAM Bulletin
A short survey on the state of the art in matching and unification problems
ACM SIGSAM Bulletin
Solving difference equations whose coefficients are not transcendental
Theoretical Computer Science
Fermat's last theorem and chaoticity
Natural Computing: an international journal
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
Automated simplification of large symbolic expressions
Journal of Symbolic Computation
An existence lemma for canonical forms in symbolic mathematics
Information Processing Letters
Hi-index | 0.04 |