Through the Numerical Analysis lecture I came across Bèzier curves, B-Splines and Spline Interpolation and found it very interesting. The title of the chapter was Computer Aided Geometric Design and I was trying to find literature on this subject.
However, I just found one book with good reviews (Curves and Surfaces for CAGD: A Practical Guide) and it's quite expensive. I was wondering if any of you know some more book and web sources on that subject?
I'm searching for a formal approach with theorems and proofs. A lot of books you find online are not written for math students and are not formal at all.