Proceedings PapersDevelopment of an Openmath Content Dictionary for Mathematical Knowledge of Materials Science and EngineeringAshino & Yamashita