A New Proof of Cavalieri's Quadrature Formula.

N. J. Wildberger

Published in: Am. Math. Mon. (2002)

Keyphrases

data mining
theorem proving
rotation invariant
amplitude modulation
theorem prover
linear logic
real time
databases
lower bound
mathematical proofs