[DS-2] COMP-AFSA学生シンポジウム

1:45 PM - 2:10 PM JST(4:45 AM - 5:10 AM UTC)Candidate for Academic Incentive Award

[DS-2-13] The ultimate signs of second-order holonomic sequences

Akitoshi Kawamura¹, ○Fugen Hagihara¹ (1. Kyoto Univ.)

Keywords:

holonomic sequence,P-finite sequence,ultimate sign,linear recurrence,decidability