A Proof of Euler's Infinite Product for the Sine.

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

Keyphrases

life cycle
differential equations
theorem proving
multiscale
theorem prover
product quality
database
real time
database systems
production planning
product information