A Standard for Aligning Mathematical Concepts.

Cezary Kaliszyk Michael Kohlhase Dennis Müller Florian Rabe

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

mathematical concepts
image registration
computer systems
attitudes toward
pilot study