Yeah, I searched the archives, and those were they. In particular, the last one, http://www.texmacs.org/joris/phd/phd-abs.html, seemed to have some ideas. There were also some interesting ideas on this thread https://groups.google.com/d/msg/sympy/h3aVz3y3n7g/JtqyPMakotMJ.
HTH Aaron Meurer On Wed, Feb 26, 2014 at 6:51 PM, someone <[email protected]> wrote: > Hi, > >> There was some paper about computing limits with oscillating >> functions. Maybe you can find the reference if you search the mailing >> list archives (or probably Raoul will remember it). > > Let me search for it. I think I know which one you refer to. > However there was little concrete information in there: > > "Asymptotic estimation of oscillating functions using an interval calculus" > by John Shakell > > "On the computation of limsups" > by Joris van der Hoeven > > Probably the best reference to read in case we really want to go beyond what > Gruntz can do is the thesis "Automated Asymptotics" of Joris van der Hoeven. > It is very advanced on the mathematics side though. > > Let me know if you need more information. > > -- > 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/530e8c0b.49d50e0a.3c34.5aabSMTPIN_ADDED_BROKEN%40gmr-mx.google.com. > For more options, visit https://groups.google.com/groups/opt_out. -- 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/CAKgW%3D6%2Bz_fqq7wpZAsVC%3Dmp%3DEQD-tDeAuuNP80opLv77bA99Nw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
