| Conţinutul numărului revistei |
| Articolul precedent |
| Articolul urmator |
 |
 873 6 |
| Ultima descărcare din IBN: 2023-02-28 13:37 |
| Căutarea după subiecte similare conform CZU |
| 519.62:517.93 (1) |
| Matematică computațională. Analiză numerică. Programarea calculatoarelor (123) |
| Ecuații diferențiale. Ecuații integrale. Alte ecuații funcționale. Diferențe finite. Calculul variațional. Analiză funcțională (242) |
 SM ISO690:2012ZHANG, 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 /ISSNe 2587-4330 | ||||||
|
||||||
| CZU: 519.62:517.93 | ||||||
| Pag. 3-8 | ||||||
|
||||||
 Descarcă PDF |
||||||
| 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 |
||||||
|
|
|
|
