Highly Influenced

# Formal Algorithmic Elimination for PDEs

@inproceedings{Robertz2016FormalAE, title={Formal Algorithmic Elimination for PDEs}, author={Daniel Robertz}, booktitle={ISSAC}, year={2016} }

- Published 2016 in ISSAC
DOI:10.1145/2930889.2930941

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