Verified interactive computation of definite integrals

From MaRDI portal
Publication:2055881

DOI10.1007/978-3-030-79876-5_28OpenAlexW3183042468MaRDI QIDQ2055881

Bohua Zhan, Runqing Xu, Liming Li

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_28




Related Items (1)


Uses Software


Cites Work


This page was built for publication: Verified interactive computation of definite integrals