Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
type: Item
instance of: scholarly article
title: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
zbMATH Open document ID: 0976.65061
DOI: 10.1023/A:1024467732637
author: Martin Berz
author: Kyoko Makino
published in: Reliable Computing
publication date: 1999-01-17T00:00:00Z
Mathematics Subject Classification ID: 65L05
Mathematics Subject Classification ID: 34A34
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 37C10
Mathematics Subject Classification ID: 65P10
Mathematics Subject Classification ID: 37M15
Mathematics Subject Classification ID: 65L80
Mathematics Subject Classification ID: 34A09
zbMATH DE Number: 1240629
zbMATH Keywords: differential algebraic methods
zbMATH Keywords: high-order Taylor models
zbMATH Keywords: verified integration
zbMATH Keywords: flow
zbMATH Keywords: wrapping effect
zbMATH Keywords: initial value problems
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1240629