Riemann integration

GPTKB entity