User:Georgi Guninski

Georgi Guninski

• Interested in:
  • efficient computability of sequences
  • machine analysis of relations in sequences (both in a single sequence and in different sequences)

• Projects:
  • stefun - looking for relations in a sequences and/or finding doubling formulas: GPL3+, available at: http://www.guninski.com/nmbrz/stefuni-pub.sage
  • Naive sequence generator, GPL3+ - http://stefan.guninski.com/funfu.cgi (the rationale is to generate a sequence, look it up in OEIS hoping to find different interpretation)

• Searchable web interface to machine analysis:
  • http://stefan.guninski.com/seq/dump.html (as of 2010.09.05) includes:
  • about 2000 (of about 10 000 subset of OEIS with at least 900 terms) relations by stefun, autoveried to max available terms
  • about 1.3 million (have a lot of false positives mainly due to insufficient number of terms) 3 sequence relations using modified Robert Gerbicz's seeker.c of form: A_x = A_y {+,-,*,/} A_z
  • linear relations among sequences in oeis using self-made program

• Sequences
  • A180435 a(n) = a(n-1)*2^n+n, a(0)=1.
  • A171920 Numbers n with at least one solution to n=x*y*z, x+y-z=1 with ordered triples (x,y,z), x,y,z>=1.
    • Records
  • A175841 Fast "exotic addition" a o b = ( a(1)+b(1) , a(1)*b(2)+a(2)*b(1) )

User:Georgi Guninski/seqs