Formal Algorithmic Elimination for PDEs

@inproceedings{Robertz2016FormalAE,
  title={Formal Algorithmic Elimination for PDEs},
  author={Daniel Robertz},
  booktitle={ISSAC},
  year={2016}
}
Similarly to the correspondence between radical ideals of a polynomial ring and varieties in algebraic geometry, a correspondence between radical differential ideals and their analytic solution sets has been established in differential algebra. This tutorial discusses aspects of this correspondence involving symbolic computation. In particular, an introduction to the Thomas decomposition method is given. It splits a system of polynomially nonlinear partial differential equations into finitely… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…