@article{SchellhornFrankKreitz2019,
  author    = {Schellhorn, Sebastian and Frank, Mario and Kreitz, Christoph},
  title     = {Br{\"u}ckenkurse f{\"u}r mathematische und informatiknahe Studieng{\"a}nge},
  series = {Alles auf Anfang! Befunde und Perspektiven zum Studieneingang},
  journal   = {Alles auf Anfang! Befunde und Perspektiven zum Studieneingang},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-452-4},
  issn      = {2192-1075},
  doi       = {10.25932/publishup-42853},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-428538},
  pages     = {257 -- 271},
  year      = {2019},
  language  = {de}
}
@book{FuhrmannSchubarthSchulzeReicheltetal.2019,
  author    = {Fuhrmann, Michaela and Schubarth, Wilfried and Schulze-Reichelt, Friederike and Mauermeister, Sylvi and Seidel, Andreas and Hartmann, Nina and Erdmann, Melinda and Apostolow, Benjamin and Wagner, Laura and Berndt, Sarah and Wippermann, Melanie and Ratzlaff, Olaf and Lumpe, Matthias and Kirjuchina, Ljuba and Rost, Sophia and Zurek, Peter Paul and Faaß, Marcel and Schellhorn, Sebastian and Frank, Mario and Kreitz, Christoph and Wagner, Nelli and Jenneck, Julia and Kleemann, Katrin and Vock, Miriam and Schr{\"o}der, Christian and Erdmann, Kathrin and Koziol, Matthias and Meißner, Marlen and Dibiasi, Anna and Unger, Martin and Piskunova, Elena V. and Bahmutskiy, Andrey E. and Bessonova, Ekatarina A. and Borovik, Ludmila K.},
  title     = {Alles auf Anfang!},
  series = {Potsdamer Beitr{\"a}ge zur Hochschulforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Hochschulforschung},
  number    = {4},
  editor    = {Schubarth, Wilfried and Mauermeister, Sylvi and Schulze-Reichelt, Friederike and Seidel, Andreas},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-452-4},
  issn      = {2192-1075},
  doi       = {10.25932/publishup-42296},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-422965},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {373},
  year      = {2019},
  abstract  = {Im Zuge der Bologna-Reform ist an Hochschulen vieles in Bewegung gekommen. Studium und Lehre sind st{\"a}rker ins Blickfeld ger{\"u}ckt. Dabei kommt der Studieneingangsphase besondere Bedeutung zu, werden doch hier die Weichen f{\"u}r ein erfolgreiches Studium gestellt. Deshalb ist es verst{\"a}ndlich, dass die Hauptanstrengungen der Hochschulen auf den Studieneingang gerichtet sind - ganz nach dem Motto: „Auf den Anfang kommt es an!". Konsens herrscht dahingehend, dass der Studieneingang neu zu gestalten ist, doch beim „Wie?" gibt es unterschiedliche Antworten. Zugleich wird immer deutlicher, dass eine wirksame Neugestaltung der Eingangsphase nur mit einer umfassenden Reform des Studiums gelingen kann. Ziel des vierten Bandes der Potsdamer Beitr{\"a}ge zur Hochschulforschung ist es, eine Zwischenbilanz der Debatte zum Studieneingang zu ziehen. Auf der Basis empirischer Studien werden unterschiedliche Perspektiven auf den Studieneingang eingenommen und Empfehlungen zur Optimierung des Studieneingangs abgeleitet. Die zahlreichen Untersuchungsergebnisse Potsdamer Forschergruppen werden durch weitere nationale sowie internationale Perspektiven erg{\"a}nzt. Der Band richtet sich an alle, die sich f{\"u}r die Entwicklung an Hochschulen interessieren.},
  language  = {de}
}
@misc{FrankKreitz2018,
  author    = {Frank, Mario and Kreitz, Christoph},
  title     = {A theorem prover for scientific and educational purposes},
  series = {Electronic proceedings in theoretical computer science},
  journal   = {Electronic proceedings in theoretical computer science},
  number    = {267},
  publisher = {Open Publishing Association},
  address   = {Sydney},
  issn      = {2075-2180},
  doi       = {10.4204/EPTCS.267.4},
  pages     = {59 -- 69},
  year      = {2018},
  abstract  = {We present a prototype of an integrated reasoning environment for educational purposes. The presented tool is a fragment of a proof assistant and automated theorem prover. We describe the existing and planned functionality of the theorem prover and especially the functionality of the educational fragment. This currently supports working with terms of the untyped lambda calculus and addresses both undergraduate students and researchers. We show how the tool can be used to support the students' understanding of functional programming and discuss general problems related to the process of building theorem proving software that aims at supporting both research and education.},
  language  = {en}
}