@phdthesis{Nguyen2012,
  author      = {Danh Nam Nguyen},
  title       = {Understanding the development of the proving process within a dynamic geometry environment},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year        = {2012},
}