---

＜図書＞
Formal algorithmic elimination for PDEs / Daniel Robertz
(Lecture notes in mathematics ; 2121)

出版者	Cham : Springer
出版年	c2014
本文言語	英語
大きさ	viii, 283 p. : ill. (some col.) ; 24 cm
著者標目	*Robertz, Daniel, 1977-
一般注記	Includes bibliographical references (p. 259-271) and indexes