Abstract

Suppose we are given a class of expressions closed under the rational operations and a set of indeterminates with the property that a procedure (essentially an "oracle") exists to recognize any member of the class that simplifies to zero. Let us call such a class over which such an oracle exists, a ZE class.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call