×

Found 5 Documents (Results 1–5)

Automatic generation of theorems and proofs on enumerating consecutive-Wilf classes. (English) Zbl 1273.05007

Kotsireas, Ilias S. (ed.) et al., Advances in combinatorics. In part based on the 3rd Waterloo workshop on computer algebra (WWCA, W80) 2011, Waterloo, Canada, May 26–29, 2011. Dedicated to Herbert Saul Wilf on the occasion of his 80th birthday. Berlin: Springer (ISBN 978-3-642-30978-6/hbk; 978-3-642-30979-3/ebook). 121-138 (2013).
MSC:  05A15 05A19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software