Maybe through https://texmacs.org? It supports handing over beautifully typeset and semantically-structured math to various CAS