"self-validated numerics" . "self-validated numerics" . . .