Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
An Automatic Proof of Euler's Formula
Authors: Jun Zhang
Keywords: Function, coefficient, automatic proof.
– 0.12 Mb
Keywords: Function, coefficient, automatic proof.
Abstract
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.J. Zhang
Department of Math and Computer Science,
Troy University
Troy, AL 36081, USA
E-mail:
Department of Math and Computer Science,
Troy University
Troy, AL 36081, USA
E-mail:
Fulltext
– 0.12 Mb
Contents
- An Automatic Proof of Euler's Formula
- A generalization of the chromatic polynomial of a cycle
- Nash equilibria sets in mixed extension of 2x2x2 games
- The minimum cost multicommodity flow problem in dynamic networks and an algorithm for its solving
- On a k-clique-join of a class of partitionable graphs
- On quasistability radius of a vector trajectorial problem with a principle of optimality generalizing Pareto and lexicographic principles
- The solution of problem of objects classification as the method of restoration of objects images
- Generic Interfaces for Managing Web Data
- Variable Bit Permutations: Linear Characteristics and Pure VBP-Based Cipher
- Abstracts of Dr. Thesis
