Definicije autora Matijasevic