RISC RISC Research Institute for Symbolic Computation  
  • @misc{RISC5137,
    author = {W. Windsteiger},
    title = {{Mathematical Assistant Systems for Theory Exploration and Mathematics Education}},
    language = {english},
    abstract = {The habilitation thesis consists of the fourteen refereed publications collected in Section II.1 of this volume. Chapter I gives an overview on the topic covered in this thesis, which ranges from the design and implementation of mathematical assistant systems through various applications of mathematical assistants to finally the interactions between mathematical software and mathematics education. The chapter features compact summaries of the individual publications in the thesis, fits them into the context of the topics listed above, and carefully points out their interrelations.},
    year = {2014},
    month = {March},
    translation = {0},
    refereed = {no},
    institution = {Johannes Kepler University Linz (JKU Linz)},
    length = {243},
    type = {Habilitation Thesis}