An Automatic Proof of Euler’s Formula
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
662 4
Ultima descărcare din IBN:
2017-04-29 14:57
Căutarea după subiecte
similare conform CZU
519.62:517.93 (1)
Matematică computațională. Analiză numerică. Programarea calculatoarelor (108)
Ecuații diferențiale. Ecuații integrale. Alte ecuații funcționale. Diferențe finite. Calculul variațional. Analiză funcțională (173)
SM ISO690:2012
ZHANG, Jun. An Automatic Proof of Euler’s Formula. In: Computer Science Journal of Moldova. 2005, nr. 1(37), pp. 3-8. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 1(37) / 2005 / ISSN 1561-4042

An Automatic Proof of Euler’s Formula
CZU: 519.62:517.93

Pag. 3-8

Zhang Jun
 
Troy University
 
Disponibil în IBN: 4 decembrie 2013


Rezumat

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.

Cuvinte-cheie
function,

coefficient, automatic proof