Title: Computer generated natural proofs of trigonometric identities
First published: 1972