ACETAF

DOI10.1145/838250.838252zbMath1070.65540OpenAlexW2088855385WikidataQ113309746 ScholiaQ113309746MaRDI QIDQ5461060

Ingo Eble, Markus Neher

Publication date: 21 July 2005

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/838250.838252

Mathematics Subject Classification ID

Power series (including lacunary series) in one complex variable (30B10) General theory of numerical methods in complex analysis (potential theory, etc.) (65E05) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20) Packaged methods for numerical algorithms (65Y15)

Related Items (6)

Improved validated bounds for Taylor coefficients and for Taylor remainder series ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ Efficient and accurate computation of upper bounds of approximation errors ⋮ Effective bounds for P-recursive sequences ⋮ ACETAF ⋮ Truncation bounds for differentially finite series

Uses Software

• C-XSC 2.0
• INTLAB
• INTOPT_90
• filib++

This page was built for publication: ACETAF