Talk:Symbolic evaluation

On google scholar "symbolic evaluation" gives 2840 hits, 90% of them for what is more commonly called symbolic execution, so that seems the best redirect.

Trevor hansen (talk)