11th Conference on Intelligent Computer Mathematics (CICM), Hagenberg, Austria, Aug. 2018

PDF BibLaTeX

```
@InProceedings{GreinerPetter2018,
author = {Greiner-Petter, Andre and Schubotz, Moritz and Cohl, Howard~S. and Gipp, Bela},
title = {MathTools: An Open API for Convenient MathML Handling},
booktitle = {11th Conference on Intelligent Computer Mathematics CICM, RISC, Hagenberg, Austria},
year = {2018},
month = {8},
address = {RISC, Hagenberg, Austria},
}
```

H. S. Cohl, **A. Greiner-Petter**, and M. Schubotz

*Automated Symbolic and Numerical Testing of DLMF Formulae using a Computer Algebra System*

11th Conference on Intelligent Computer Mathematics (CICM), Hagenberg, Austria, Aug. 2018

11th Conference on Intelligent Computer Mathematics (CICM), Hagenberg, Austria, Aug. 2018

M. Schubotz, **A. Greiner-Petter**, P. Scharpf, N. Meuschke, H. Cohl, and B. Gipp

*Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context*

Proceedings of the ACM/IEEECS Joint Conference on Digital Libraries (JCDL), Fort Worth, USA, Jun. 2018

PDF BibLaTeX

Proceedings of the ACM/IEEECS Joint Conference on Digital Libraries (JCDL), Fort Worth, USA, Jun. 2018

PDF BibLaTeX

```
@InProceedings{Schubotz2018,
author = {Schubotz, Moritz and Greiner-Petter, Andre and Scharpf, Philipp and Meuschke, Norman and Cohl, Howard and Gipp, Bela},
title = {Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context},
booktitle = {Proceedings of the ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL)},
year = {2018},
month = {Jun.},
address = {Fort Worth, USA},
doi = {10.1145/3197026.3197058}
}
```

H. S. S. Cohl, M. Schubotz, A. Youssef, **A. Greiner-Petter**, J. Gerhard, B. V. V. Saunders, M. A. A. McClain, J. Bang, and K. Chen

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

10th Conference on Intelligent Computer Mathematics (CICM), Edinburgh, Scotland, Jul. 2017

Springer Link BibLaTeX

10th Conference on Intelligent Computer Mathematics (CICM), Edinburgh, Scotland, Jul. 2017

Springer Link BibLaTeX

```
@InProceedings{Cohl17,
author = {Howard S. Cohl and
Moritz Schubotz and
Abdou Youssef and
Andr{\'{e}} Greiner{-}Petter and
J{\"{u}}rgen Gerhard and
Bonita V. Saunders and
Marjorie A. McClain and
Joon Bang and
Kevin Chen},
title = {Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems},
booktitle = {Intelligent Computer Mathematics - 10th International Conference, {CICM}},
pages = {115--131},
year = {2017},
month = {Jul.},
address = {Edinburgh, UK},
doi = {10.1007/978-3-319-62075-6\_9}
}
```

Top