Some criteria for Gröbner bases and their applications. (May 2019)