This webpage aims at collecting some basic terms and definitions useful when working with CACSD proving functionalities for polynomial matrices. Quite some work is needed here, volunteers are welcome. In the meantime, have a look at the glossary at PolyX site.