Antiderivatives and integration
From MaRDI portal
Publication:6129931
DOI10.2478/FORMA-2023-0012OpenAlexW4388183215MaRDI QIDQ6129931
Publication date: 17 April 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2023-0012
One-variable calculus (26A06) Formalization of mathematics in connection with theorem provers (68V20)
Related Items (1)
This page was built for publication: Antiderivatives and integration