Cavalieri's principle (Q586686)
modern implementation of the method of indivisibles
Language: