Task: Text Categorization
Input (English): This mathematician gives his name to a type of surface which is intersected exactly once by every non-spacelike curve. One theory named for him states that three-dimensional convex polytopes with congruent corresponding faces must be congruent to each other. Like Lagrange, he gives his name to a form of the remainder in the statement of (*) Taylor's theorem. He names a weaker condition equivalent to convergence for a real sequence but weaker for the complex numbers. He showed that the path integral of a holomorphic function over a closed path is zero, his namesake integral theorem. For 10 points, name this prolific French mathematician who names the statement that the absolute value of x dot y is less than or equal to the product of the norms of x and y along with Schwarz.
Output (English): Science