Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.

A. J. J. Dick, Jim Cunningham

Browse the full CADE paper archive.