Nokre matematiske provtypar