A formal approach

Algebraically true theorems

Non-degeneracy conditions I (B-D-R)

An example

Non-degeneracy conditions II

Discovery conditions

An example from the tutorial

Another example

Some References