Heuristics

Heuristics answer the question WHY a step was carried out.

If integral is of the form a power of x times a sine, then use integration by parts.

See heuristics in HAL.

Heuristics answer the question of why a step was carried out.
Here is an example of an heuristic.
If integral is of the form a power of x times a sine, then use integration by parts.
See heuristics in HAL.