| Conţinutul numărului revistei |
| Articolul precedent |
| Articolul urmator |
 |
 868 6 |
| Ultima descărcare din IBN: 2023-02-28 13:37 |
| Căutarea după subiecte similare conform CZU |
| 519.62:517.93 (1) |
| Вычислительная математика. Численный анализ (123) |
| Дифференциальные, интегральные и другие функциональные уравнения. Конечные разности. Вариационное исчисление. Функциональный анализ (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 |
||||||
|
Google Scholar Export
<meta name="citation_title" content="An Automatic Proof of Euler’s Formula"> <meta name="citation_author" content="Zhang Jun"> <meta name="citation_publication_date" content="2005/06/03"> <meta name="citation_journal_title" content="Computer Science Journal of Moldova"> <meta name="citation_volume" content="37"> <meta name="citation_issue" content="1"> <meta name="citation_firstpage" content="3"> <meta name="citation_lastpage" content="8"> <meta name="citation_pdf_url" content="https://ibn.idsi.md/sites/default/files/imag_file/An%20Automatic%20Proof%20of%20Eulers%20Formula.pdf">
|
|
|
