The Collection of
Computer Science Bibliographies

Selected Validated ODE Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:130Last update:April 28, 2000
Number of online publications:0Supported:yes
Most recent reference:July 1995

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

George F. Corliss <George . Corliss @ Marquette . edu> (email mangled to prevent spamming)
Department of Electrical and Computer Engineering
Marquette University
1515 W. Wisconsin Avenue
P.O. Box 1881
Milwaukee WI 53201-1881 USA
It contains some citations relevant to interval techniques for validated solution to ordinary differential equations.
Author Comments:
Many of the citations were taken from [Rihm1994a]. The file surv_ode.bib is a supplement to file autodiff.bib. While autodiff.bib contains primarily citations relevant to automatic differentiation, it includes many citations related to interval techniques. If a work already appeared in autodiff.bib, it was not included here in surv_ode.bib.
A more complete bibliography of work on interval techniques for ODEs is [Corliss1988a].
Corrections and additions are welcome and should be sent to George F. Corliss.

Browsing the bibliography

Bibliographic Statistics

article(54), book(31), incollection(31), techreport(7), misc(3), phdthesis(3), inproceedings(1)
title(130), author(128), year(128), publisher(62), address(60), page(58), journal(54), volume(47), booktitle(32), editor(31), number(15), series(13), institution(7), note(7), type(7), month(5), edition(4), pages(4), howpresented(3), school(3), referred(2)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!