Determining the Equivalence of Algebraic Expressions by Hash Coding

A :20piano movers' '

ACM SIGSAM Bulletin

New results for random determination of equivalence of expressions

SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation

A system for manipulating polynomials given by straight-line programs

SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation

A differential-equations approach to functional equivalence

ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation

Using types as search keys in function libraries

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

Type matching, type-graphs, and the Schanuel conjecture

ACM Transactions on Programming Languages and Systems (TOPLAS)

Signature functions for algebraic numbers

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

Dagwood: a system for manipulating polynomials given by straight-line programs

ACM Transactions on Mathematical Software (TOMS)

Fast Probabilistic Algorithms for Verification of Polynomial Identities

Journal of the ACM (JACM)

Determining equivalence of expressions in random polynomial time

STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing

Rationally simplifying non-rational expressions

ACM SIGSAM Bulletin

Algebraic simplification of GP programs during evolution

Proceedings of the 8th annual conference on Genetic and evolutionary computation

Genetic programming for medical classification: a program simplification approach

Genetic Programming and Evolvable Machines

Geometric constraint solving: The witness configuration method

Computer-Aided Design

Online program simplification in genetic programming

SEAL'06 Proceedings of the 6th international conference on Simulated Evolution And Learning