Riemann-Stieltjes differentiable integrator
Information: Riemann-Stieltjes differentiable integrator