02018nam0 2200457 i 450 VAN0010153920251010123836.754N978331911445320150428d2014 |0itac50 baengCH|||| |||||i e bcrFormal algorithmic elimination for PDEsDaniel RobertzChamSpringer2014VIII, 283 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer2121VAN00234078Formal algorithmic elimination for PDEs138802812H05Differential algebra [MSC 2020]VANC021754MF13N10Commutative rings of differential operators and their modules [MSC 2020]VANC030751MF16S32Rings of differential operators (associative algebraic aspects) [MSC 2020]VANC022507MF35C05Solutions to PDEs in closed form [MSC 2020]VANC022735MFDifferential algebraKW:KDifferential eliminationKW:KExact solutions to partial differential equationsKW:KJanet basesKW:KPartial Differential EquationsKW:KThomas decompositionKW:KCHChamVANL001889RobertzDanielVANV079357716368Springer <editore>VANV108073650ITSOL20251017RICAhttp://doi.org/10.1007/978-3-319-11445-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00101539BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 08LNM2121 20150428 Formal algorithmic elimination for PDEs1388028UNICAMPANIA