@misc{indiciae33ad25f33ce8,
  title = {Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System},
  author = {Wolfgang Windsteiger},
  year = {2013},
  doi = {10.4204/eptcs.118.5},
  url = {https://arxiv.org/abs/1307.1945},
  note = {Source identifier: 1307.1945}
}