Differential equations with symbolic computation

This book provides a picture of what can be done in di?erential equations with advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspect of three kinds offundamental problems in di?- ential equations: transforming the equations, solving the equation...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Wang, Dongming
مؤلفون آخرون: Zheng, Zhiming (المحرر, مدير النشر), Wang, Dongming, 1961-...., mathématicien (مدير النشر)
التنسيق: Livre numérique
اللغة:Anglais
منشور في: Basel : Birkhäuser Basel [20..].
Cham : Springer Nature
الطبعة:1st ed. 2005.
سلاسل:Trends in Mathematics
الوصول للمادة أونلاين:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
ملاحظة: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Differential equations with symbolic computation, Dongming Wang, Zhiming Zheng, editors, Basel, Birkhäuser, 2005, 1 vol. (VIII-374 p.), Trends in mathematics, 3-7643-7368-7
• Differential Equations with Symbolic Computation, Texte imprimé, 9783764390938
• Differential equations with symbolic computation, Dongming Wang, Zhiming Zheng, editors, Basel, Birkhäuser, 2005, 1 vol. (VIII-374 p.), Trends in mathematics, 3-7643-7368-7
LEADER 05487nam a22003857a 4500
001 937782
008 080409q2000 xx ||| |||| 00| 0 eng d
009 PPN123100631
020 |a 9783764374297 
041 0 |a eng 
082 |a 515.353 
100 1 |a Wang, Dongming. 
245 1 0 |a Differential equations with symbolic computation   |c edited by Dongming Wang, Zhiming Zheng. 
250 |a 1st ed. 2005. 
260 |a Basel :  |b Birkhäuser Basel. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Trends in Mathematics  |x 2297-024X 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 1 |a Symbolic Computation of Lyapunov Quantities and the Second Part of Hilbert s Sixteenth Problem Estimating Limit Cycle Bifurcations from Centers Conditions of Infinity to be an Isochronous Center for a Class of Differential Systems Darboux Integrability and Limit Cycles for a Class of Polynomial Differential Systems Time-Reversibility in Two-Dimensional Polynomial Systems On Symbolic Computation of the LCE of N-Dimensional Dynamical Systems Symbolic Computation for Equilibria of Two Dynamic Models Attractive Regions in Power Systems by Singular Perturbation Analysis Algebraic Multiplicity and the Poincaré Problem Formalizing a Reasoning Strategy in Symbolic Approach to Differential Equations Looking for Periodic Solutions of ODE Systems by the Normal Form Method Algorithmic Reduction and Rational General Solutions of First Order Algebraic Differential Equations Factoring Partial Differential Systems in Positive Characteristic On the Factorization of Differential Modules Continuous and Discrete Homotopy Operators and the Computation of Conservation Laws Partial and Complete Linearization of PDEs Based on Conservation Laws CONSLAW: A Maple Package to Construct the Conservation Laws for Nonlinear Evolution Equations Generalized Differential Resultant Systems of Algebraic ODEs and Differential Elimination Theory On Good Bases of Algebraico-Differential Ideals On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier Janet Theory 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a This book provides a picture of what can be done in di?erential equations with advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspect of three kinds offundamental problems in di?- ential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions. Modern research on these pr- lems using symbolic computation, or more restrictively using computer algebra, has become increasingly active since the early 1980s when e?ective algorithms for symbolic solution of di?erential equations were proposed, and so were c- puter algebra systems successfully applied to perturbation, bifurcation, and other problems. Historically, symbolic integration, the simplest case of solving ordinary di?erential equations,was alreadythe targetof the ?rst computer algebrapackage SAINT in the early 1960s. With 20 chapters, the book is structured into three parts with both tutorial surveys and original research contributions: the ?rst part is devoted to the qua- tative study of di?erential systems with symbolic computation, including stability analysis, establishment of center conditions, and bifurcation of limit cycles, which are closely related to Hilbert s sixteenth problem. The second part is concerned with symbolic solutions of ordinary and partial di?erential equations, for which normal form methods, reduction and factorization techniques, and the compu- tion of conservation laws are introduced and used to aid the search. The last part isconcentratedonthetransformationofdi?erentialequationsintosuchforms that are better suited for further study and application 
700 1 |a Zheng, Zhiming.  |4 edt 
700 1 |a Wang, Dongming,  |d 1961-....,  |c mathématicien.  |4 pbd 
700 1 |a Zheng, Zhiming.  |4 pbd 
776 0 |0 094651612  |t Differential equations with symbolic computation  |f Dongming Wang, Zhiming Zheng, editors  |c Basel  |n Birkhäuser  |d 2005  |p 1 vol. (VIII-374 p.)  |s Trends in mathematics  |z 3-7643-7368-7 
776 0 |t Differential Equations with Symbolic Computation  |b Texte imprimé  |z 9783764390938 
776 0 |0 094651612  |t Differential equations with symbolic computation  |f Dongming Wang, Zhiming Zheng, editors  |c Basel  |n Birkhäuser  |d 2005  |p 1 vol. (VIII-374 p.)  |s Trends in mathematics  |z 3-7643-7368-7 
856 4 |q PDF  |u https://doi.org/10.1007/3-7643-7429-2  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-46KGP4WM-C  |z Accès sur la plateforme Istex 
856 4 |5 452349901:74792662X  |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/3-7643-7429-2  |z Accès Université d'Orléans 
856 4 |5 180339901:750938684  |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/3-7643-7429-2  |z Accès INSA CVL 
997 |0 937782  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/