Formal algorithmic elimination for PDEs

Bok av Daniel Robertz