Using Programming to Build Abstraction, Generalization, and Proof (bibtex)

by Cynthia Stenger, James A. Jerkins, and Janet Jenkins

Reference:

Cynthia Stenger, James A. Jerkins, and Janet Jenkins, "Using Programming to Build Abstraction, Generalization, and Proof", In 62nd Annual Alabama Association of College Teachers of Mathematics Conference, 2012.

Bibtex Entry:

@inproceedings{Jerkins9,
  author = {Cynthia Stenger and James A. Jerkins and Janet Jenkins},
  title = "{Using Programming to Build Abstraction, Generalization, and Proof}",
  booktitle = {62nd Annual Alabama Association of College Teachers of Mathematics Conference},
  month = mar,
  year = 2012,
  location = {Athens, AL, USA},
}