Биографиясе

1916 ел, Казан губернасы, Лаеш өязе Алан-Полян авылы — 1974 елның 16 марты, Казан.

1938 елда Казан университетын тәмамлаганнан соң, шунда ук эшли, 1946 елдан Математика һәм механика фәнни-тикшеренү институтында.

Хезмәтләре риманча фәзаларның дифференциаль инвариантларына карый.

Петров 3 нче тәртип өч үлчәнешле риманча фәзаларның метрик-скаляр дифференциаль инвариантларының иң гади базисын төзи. Дүрт үлчәнешле риманча фәзаларга карата Суворов алымын (кара Ф.М.Суворов) куллана.

Хезмәтләре  

Классификация трёхмерных римановых пространств по их дифференциальным инвариантам // Уч. зап. Казан. университета. 1957. Т. 117, кн. 9;

Инварианты и классификация дифференциальных квадратичных форм от четырёх переменных // Изв. АН СССР. Сер. Математика. 1959. Т. 23, № 3;

Основная проблема неримановой геометрии в бинарной области // Докл. АН СССР. 1961. Т. 140, № 4.