Verified computation of fast decreasing polynomials

DOI10.1023/A:1009972120539zbMath0947.65020OpenAlexW4231175179MaRDI QIDQ1971076

Svetoslav M. Markov, Neli S. Dimitrova

Publication date: 2 November 2000

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009972120539

zbMATH Keywords

MapleDirac delta functionfast decreasing polynomialsverified numerical computation

Mathematics Subject Classification ID

Computation of special functions and constants, construction of tables (65D20) Algorithms with automatic result verification (65G20)

Uses Software

• Unnamed Item

This page was built for publication: Verified computation of fast decreasing polynomials