Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems