Voelkel, KonradSchroeder, Ulrik2017-11-222017-11-222010978-3832525781https://dl.gi.de/handle/20.500.12116/7341This paper describes dependencies between knowledge artefacts and how their formalisation can improve some kinds of extremely goal-oriented learning processes. This kind of learning is already performed by researchers and students, but without formalisation. The paper proceeds with an analysis of requirements for tools for dependency formalisation. As a very domain-specific example, it discusses the tools available for formalisation of dependencies in mathematics.enText/Conference Paper