Existence and uniqueness theorems for formal power series solutions of analytic differential systems

Authors:
C. J. Rust;G. J. Reid;A. D. Wittkopf
Affiliations:
Centre for Experimental and Constructive Mathematics, Simon fraser University, Burnaby, B.C. Canada, V5A 1S6;Centre for Experimental and Constructive Mathematics, Simon fraser University, Burnaby, B.C. Canada, V5A 1S6;Centre for Experimental and Constructive Mathematics, Simon fraser University, Burnaby, B.C. Canada, V5A 1S6
Venue:
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Year:
1999

Citing 5
Cited 11

Gro¨bner bases: a computational approach to commutative algebra

Gro¨bner bases: a computational approach to commutative algebra
Algorithms for finding the structure of solutions of a system of linear partial differential equations

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Representation for the radical of a finitely generated differential ideal

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
The general solution of an ordinary differential equation

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Rankings of partial derivatives

ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation

Determination of maximal symmetry groups of classes of differential equations

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Geometric completion of differential systems using numeric-symbolic continuation

ACM SIGSAM Bulletin
Cartan's Characters and Stairs of Characteristic Sets

AAECC-14 Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
An orderly linear PDE system with analytic initial conditions with a non-analytic solution

Journal of Symbolic Computation - Special issue: Algebra and computer analysis
Power series solutions for non-linear PDE's

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computing power series solutions of a nonlinear PDE system

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Cited References

Computer algebra handbook
Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Symbolic-numeric computation of implicit riquier bases for PDE

Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Implicit Riquier Bases for PDAE and their semi-discretizations

Journal of Symbolic Computation
Notes on triangular sets and triangulation-decomposition algorithms II: differential systems

SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation

Quantified Score

Hi-index	0.00

Existence and uniqueness theorems for formal power series solutions of analytic differential systems

Quantified Score

Visualization

Abstract