An Automatic Proof of Euler's Formula
oleh: Jun Zhang
| Format: | Article |
|---|---|
| Diterbitkan: | Vladimir Andrunachievici Institute of Mathematics and Computer Science 2005-05-01 |
Deskripsi
In this information age, everything is digitalized. The encoding of functions and the automatic proof of functions are important. This paper will discuss the automatic calculation for Taylor expansion coefficients, as an example, it can be applied to prove Euler's formula automatically.