A Semi-Finite Proof of Jacobi′s Triple Product Identity.

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

Keyphrases

complete axiomatization
life cycle
theorem prover
real time
theorem proving
product design
mathematical proofs
information systems
databases
similarity measure
multiscale
product quality