/sci-mathematics/cvc3/