@Bibtex-file{Math/surv.ode.bib,
  title =        "Selected Validated {ODE} Bibliography",
  author =       "George F. Corliss",
  address =      "Department of Electrical and Computer Engineering \\
                 Marquette University \\
                 1515 W. Wisconsin Avenue \\
                 P.O. Box 1881 \\
                 Milwaukee WI 53201-1881 USA",
  email =        "George.Corliss@Marquette.edu",
  supported =    "yes",
  abstract =     "It contains some citations relevant to interval
                 techniques for validated solution to ordinary
                 differential equations.",
  readme =       "Many of the citations were taken from [Rihm1994a]. The
                 file {\tt surv\_ode.bib} is a supplement to file {\tt
                 autodiff.bib}. While {\tt autodiff.bib} contains
                 primarily citations relevant to automatic
                 differentiation, it includes many citations related to
                 interval techniques. If a work already appeared in {\tt
                 autodiff.bib}, it was not included here in {\tt
                 surv\_ode.bib}. \par A more complete bibliography of
                 work on interval techniques for ODEs is
                 [Corliss1988a].\par Corrections and additions are
                 welcome and should be sent to George F. Corliss.",
}

.