author = {W. Windsteiger},
title = {{Mathematical Assistant Systems for Theory Exploration and Mathematics Education}},
language = {english},
year = {2014},
month = {June 18},
note = {Contributed talk at Johannes Kepler Symposium, JKU Linz, Austria},
conferencename = {Johannes Kepler Symposium, JKU Linz, Austria},
url = {http://www.numa.uni-linz.ac.at/JKS/}