@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}
}