I started lecturing this subject called "Linear Algebra and Analytic Geometry" and in the second day of class I was approached by an undergrad student, asking for referenced that would contain "hard" exercises. I understand that the ones on the book I'm mostly following might seem pretty basic, since they aim for more "average" students (by the way, this is in Brazil).
I checked on this student's profile and noticed that she has actually received some medals on Brazil's Olympiads of Mathematics for teenagers. I do not want to lose this student to get bored with her first experience with University-level Mathematics (her graduation subject is Computer Science), and since she said she'd have no problem with an english or spanish textbook, I would like to ask my fellow Stackers for textbooks that contain above-average exercises on Linear Algebra and Analytic Geometry. "Theoretical" exercises, as in "show this identity" or "proof this result" are more into what I'm expecting.
Thanks in advance.