메뉴 건너뛰기




Volumn 21, Issue C, 2006, Pages 167-172

Validated solution of ODEs with parametric uncertainties

Author keywords

Bioreactor kinetics; ODE; Parametric uncertainty; Validated computing

Indexed keywords


EID: 34547141425     PISSN: 15707946     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-7946(06)80041-6     Document Type: Article
Times cited : (11)

References (10)
  • 1
    • 0004293209 scopus 로고
    • Prentice-Hall, Englewood Cliffs, NJ
    • Moore R.E. Interval Analysis (1966), Prentice-Hall, Englewood Cliffs, NJ
    • (1966) Interval Analysis
    • Moore, R.E.1
  • 3
    • 0002422258 scopus 로고
    • Computations of guaranteed enclosures for the solutions of ordinary initial and boundary value problems
    • Cash J., and Gladwell I. (Eds), Clarendon Press, Oxford
    • Lohner R.J. Computations of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In: Cash J., and Gladwell I. (Eds). Computational Ordinary Differential Equations (1992), Clarendon Press, Oxford
    • (1992) Computational Ordinary Differential Equations
    • Lohner, R.J.1
  • 6
    • 0002646206 scopus 로고    scopus 로고
    • Remainder differential algebras and their applications
    • Berz M., Bishof C., Corliss G., and Griewank A. (Eds), SIAM, Philadelphia
    • Makino K., and Berz M. Remainder differential algebras and their applications. In: Berz M., Bishof C., Corliss G., and Griewank A. (Eds). Computational Differentiation: Techniques, Application, and Tools (1996), SIAM, Philadelphia
    • (1996) Computational Differentiation: Techniques, Application, and Tools
    • Makino, K.1    Berz, M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.