{"id":"arxiv:1605.06679","kind":"preprint","title":"Integrals Involving Rudin-Shapiro Polynomials and Sketch of a Proof of Saffari's Conjecture","authors":["Shalosh B. Ekhad","Doron Zeilberger"],"author_count":2,"year":2016,"published":"2016-05-21","venue":null,"cited_by":null,"doi":null,"arxiv_id":"1605.06679","nct_id":null,"source_url":"https://arxiv.org/abs/1605.06679","archive_url":"https://space-kitty.com/papers/arxiv:1605.06679","updated":"2016-06-07","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/1605.06679","abstract":"Continuing pioneering work of Christophe Doche and Laurent Habsieger from 2004, we develop computer algebra algorithms, implemented in Maple, for finding the (necessarily rational) generating function for any integral of products, and in particular, moments, of Rudin-Shapiro polynomials. We generate a lot of output, and confirm again a conjecture of Saffari for the asymptotics for small (and not so small) powers. We also confirm, for small powers, a related, more general, conjecture, of Hugh Montgomery. Finally, we outline a proof of Saffari's full conjecture, that we believe can be turned into a full proof. [In this version we report that Brad Rodgers has independently found a (complete!) proof of Saffari's conjecture here http://arxiv.org/abs/1606.01637] .","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CO","math.NT"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}