935 HRC = 9,537 HV
1 HRC ≈ 10.2 HV · 1 HRB ≈ 1.8 HV · 1 Mohs ≈ 0.1 HV — approximate; real conversions vary by material per ASTM E140