Hi,
> I want to implement Karr Algorithm for GSoC 2015. I have read the > Karr's original paper This is just for Background and basic definition. It is not complete enough for a modern implementation. > and Brucin Erocal's thesis > <http://www.sagemath.org/files/thesis/erocal-thesis-2011.pdf> He has a very good itroduction to the topic. However, his focus was algebraic extensions of the difference fields. For an implementation I would go after transcendental ones first. Algebraic extensions are always most difficult. (Compare also to Risch integration.) > I found Karr's original paper is a little hard to read > from So I am currently reading Carsten Schneider Thesis > <file:///home/vramana/Downloads/SymbSumTHESIS.pdf> . Perfect. But this assumes the same algebraic setting of difference algebra. > Erocal Thesis mentions of an existing implementation of Karr > algorithm using Sage. But I couldn't find it anywhere. The Code was never merged into Sage and is not online. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/54fb3501.cb5ab40a.03bf.ffffe7eaSMTPIN_ADDED_BROKEN%40gmr-mx.google.com. For more options, visit https://groups.google.com/d/optout.
