Details:
Title | Zeilberger | Author(s) | Christoph Koutschan, Ishikawa Masao | Type | Article in Conference Proceedings | Keywords | Motzkin number, Pfaffian, WZ theory, computer proof, determinant, holonomic systems approach, minor, symbolic summation | ISBN | 978-1-4503-1269-1 |
URL |
http://doi.acm.org/10.1145/2442829.2442863 |
Language | English | Series | ISSAC | Pages | 227--233 | Publisher | ACM | Address | New York, NY, USA | Year | 2012 | Edition | 0 | Translation |
No | Refereed |
No |
|