@inproceedings{ dblp3867915,
  title = {Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm)},
  author = {Micaela Mayero},
  author_short = {Mayero, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp3867915},
  id = {dblp3867915},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tphol/Mayero02},
  url = {http://dx.doi.org/10.1007/3-540-45685-6_17},
  conference = {TPHOLs},
  pages = {246-262},
  text = {TPHOLs 2002:246-262},
  booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)}
}

{"_id":"9XFuDnjw5GYSnnbRc","bibbaseid":"mayero-usingtheoremprovingfornumericalanalysiscorrectnessproofofanautomaticdifferentiationalgorithm-2002","downloads":0,"creationDate":"2015-05-10T20:22:37.546Z","title":"Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm)","author_short":["Mayero, M."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tphol/Mayero02","bibdata":{"title":"Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm)","author":["Micaela Mayero"],"author_short":["Mayero, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp3867915","id":"dblp3867915","biburl":"http://www.dblp.org/rec/bibtex/conf/tphol/Mayero02","url":"http://dx.doi.org/10.1007/3-540-45685-6_17","conference":"TPHOLs","pages":"246-262","text":"TPHOLs 2002:246-262","booktitle":"Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)","bibtex":"@inproceedings{ dblp3867915,\n title = {Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm)},\n author = {Micaela Mayero},\n author_short = {Mayero, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp3867915},\n id = {dblp3867915},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tphol/Mayero02},\n url = {http://dx.doi.org/10.1007/3-540-45685-6_17},\n conference = {TPHOLs},\n pages = {246-262},\n text = {TPHOLs 2002:246-262},\n booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)}\n}","bibbaseid":"mayero-usingtheoremprovingfornumericalanalysiscorrectnessproofofanautomaticdifferentiationalgorithm-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-45685-6_17"},"downloads":0},"search_terms":["using","theorem","proving","numerical","analysis","correctness","proof","automatic","differentiation","algorithm","mayero"],"keywords":[],"authorIDs":[],"dataSources":["9hzbWmiPwfA764osG"]}