An Automatic Proof of Euler’s Formula
Закрыть
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
678 4
Ultima descărcare din IBN:
2017-04-29 14:57
Căutarea după subiecte
similare conform CZU
519.62:517.93 (1)
Вычислительная математика. Численный анализ (109)
Дифференциальные, интегральные и другие функциональные уравнения. Конечные разности. Вариационное исчисление. Функциональный анализ (178)
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