Holonomic systems and automatic proofs of identities. RR-2371
Book information
Similar books
Summation of special functions and combinatorics (talk, slides)
GZ
Seminar on computer algebra
1999 · GZ
Holonomic functions in computer algebra (slides, talk)
GZ
Fonctions holonome et calcul formel (PhD Thesis, fr)
GZ
Groebner bases and symbolic summation and integration
GZ
Puppet 4 Essentials (Code Only)
GZ
Errata for Programming with Miranda
2011 · GZ
The spin model checker : primer and reference manual
2004 · GZ