Does anyone know if there's something similar for plain old geometry? I need some proofs beyond basic ones (for ex, I need to know how to find out intersection points of 2 rotated ellipses on Cartesian space).