"randverdi" er et 9-bokstavers substantiv som brukes som synonym for "randintegralformulering". randintegralformulering betyr: Verdien av en funksjon på randet.