Solving a Multivariable Congruence by Change of Term Order

Patrick Fitzpatrick. Solving a Multivariable Congruence by Change of Term Order. Journal of Symbolic Computation, 24(5):575-589, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.