<div>That is a brilliant paper, and part of what got me involved with OEIS. </div>
<div> </div>
<div>Does the computational difficulty of extending the automated search for correlations between sequences go as the square of the number of sequences?</div>
<div> </div>
<div>If so, that would quantify the frustration that Ralf experiences.</div>
<div> </div>
<div>-- Jonathan Vos Post<br><br> </div>
<div><span class="gmail_quote">On 12/18/06, <b class="gmail_sendername">Max A.</b> <<a href="mailto:maxale@gmail.com">maxale@gmail.com</a>> wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">On 12/18/06, Ralf Stephan <<a href="mailto:ralf@ark.in-berlin.de">ralf@ark.in-berlin.de</a>> wrote:<br>
<br>> I won't repeat what I wrote in my paper so please refer to<br>> <a href="http://arXiv.org/abs/math.CO/0409509">http://arXiv.org/abs/math.CO/0409509</a><br>> "Prove or Disprove. 100 Conjectures from the OEIS."
<br><br>As I see, some of the conjectures there have already been proved.<br>Do you plan to update your paper with their current status<br>(proved/disproved/open) ?<br><br>Thanks,<br>Max<br></blockquote></div><br>