6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.AI2012★ 6 cited
Towards an Intelligent Tutor for Mathematical Proofs
Serge Autexier, Dominik Dietrich, Marvin Schiller
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel ap…
cs.DL2011
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
Serge Autexier, Catalin David, Dominik Dietrich +2
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published researc…