摘要:AbstractThe overview of possible approaches to check algebraic reachability of polynomial and rational systems is provided. The respective methods are demonstrated on a number of examples chosen with the emphasis on tutorial presentation of the results and on applications.