1 paper
Jacques Carette, William M. Farmer, Patrick Laskowski
We are interested in algorithms that manipulate mathematical expressions in mathematically meaningful ways. Expressions are syntactic, but most logics do not allow one to discuss s…