If you liked this topic, let me know and I will write more about it! ✍🏻 I haven’t explained anything about the format, encodings and content dictionaries of the OpenMath standard, so I’ll probably write another post explaining how to use and implement them.
Symbolic Computation Software Composability Protocol - SCSCP - Specification, Version 1.3
Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach (3rd section)