Mathematical Analysis of Binocular Vision