Ceva's theorem and physics automated