Collaborated with:J.Cunningham
Talks about:symbol (1) reason (1) narrow (1) experi (1) equat (1) autom (1) solv (1) isol (1) use (1) do (1)
Person: A. J. J. Dick
DBLP: Dick:A=_J=_J=
Contributed to:
1986Wrote 1 papers:
- CADE-1986-DickC #automation #empirical #equation #reasoning #using
- Using Narrowing to do Isolation in Symbolic Equation Solving — An Experiment in Automated Reasoning (AJJD, JC), pp. 272–280.