Autor: |
Carmen Chicone, Marc Q. Jacobs |
Rok vydání: |
1991 |
Předmět: |
|
Zdroj: |
Computer Aided Proofs in Analysis ISBN: 9781461390947 |
Popis: |
Some bifurcation theory for the zeros of an analytic function depending on a vector of parameters is presented. The emphasis is on problems for which the Weierstrass Preparation Theorem is not applicable and where the techniques require the analysis of ideals in rings of convergent power series. Several examples are given to illustrate the methods of this analysis. In particular, the utility of the Grobner basis algorithms which are currently implemented in several computer algebra packages is explained. Several problems for future research which are natural candidates for computer assisted proofs are also given. |
Databáze: |
OpenAIRE |
Externí odkaz: |
|