5 citations · 7 across the 11 of their papers we have counts for
1 paper · 1 filter
Sylvie Boldo, François Clément, Florian Faissole +2
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and…