Automatic generation of epsilon-delta proofs of continuity

Automatic generation of epsilon-delta proofs of continuity. Beeson, M. In Calmet, J. and Plaza, J., editors, Artificial Intelligence and Symbolic Computation, volume 1476, of Lecture Notes in Artificial Intelligence, pages 67--83, Berlin Heidelberg New York. Springer-Verlag.
bibtex

@inproceedings{ beeson1998d,
  address = {Berlin Heidelberg New York},
  author = {Michael Beeson},
  booktitle = {Artificial Intelligence and Symbolic Computation},
  date-added = {2014-11-13 23:35:21 +0000},
  date-modified = {2014-11-13 23:50:00 +0000},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {67--83},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Automatic generation of epsilon-delta proofs of continuity},
  volume = {1476}
}

Downloads: 0