Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleZeilberger
Author(s) Christoph Koutschan, Ishikawa Masao
TypeArticle in Conference Proceedings
KeywordsMotzkin number, Pfaffian, WZ theory, computer proof, determinant, holonomic systems approach, minor, symbolic summation
ISBN978-1-4503-1269-1
URL http://doi.acm.org/10.1145/2442829.2442863
LanguageEnglish
SeriesISSAC
Pages227--233
PublisherACM
AddressNew York, NY, USA
Year2012
Edition0
Translation No
Refereed No
Webmaster