What about using LaTeX as source and then converting to OpenMath/ CAS?

Previous slide Next slide Back to first slide View graphic version