Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

✍ Scribed by Martin Berz; Kyoko Makino

• Book ID: 111542423
• Publisher: Springer
• Year: 1998
• Tongue: English
• Weight: 436 KB
• Volume: 4
• Category: Article
• ISSN: 1385-3139
• DOI: 10.1023/a:1024467732637