Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems

Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain, Joon Bang, Kevin Chen. Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems. In Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke, editors, Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Volume 10383 of Lecture Notes in Computer Science, pages 115-131, Springer, 2017. [doi]

Authors

Howard S. Cohl

This author has not been identified. Look up 'Howard S. Cohl' in Google

Moritz Schubotz

This author has not been identified. Look up 'Moritz Schubotz' in Google

Abdou Youssef

This author has not been identified. Look up 'Abdou Youssef' in Google

André Greiner-Petter

This author has not been identified. Look up 'André Greiner-Petter' in Google

Jürgen Gerhard

This author has not been identified. Look up 'Jürgen Gerhard' in Google

Bonita V. Saunders

This author has not been identified. Look up 'Bonita V. Saunders' in Google

Marjorie A. McClain

This author has not been identified. Look up 'Marjorie A. McClain' in Google

Joon Bang

This author has not been identified. Look up 'Joon Bang' in Google

Kevin Chen

This author has not been identified. Look up 'Kevin Chen' in Google