Symbolic calculation

Differences	Deductive
Similarities