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 (CICM, 2017)