A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
scientific article; zbMATH DE number 6832417
scientific article