0
$\begingroup$

I am interested in collections of ‘interesting’ problems involving limits and/or asymptotic expansions of univariate real-valued functions. The purpose is to test a particular algorithm that I implemented in a theorem prover. Problems that are typically considered ‘difficult’ for computer algebra systems would be particularly interesting.

Dominik Gruntz's thesis contains a few problems like that, but I'd like to have more. Is there a collection like this? Perhaps something in the context of a particular computer algebra system, e.g. for regression tests?

$\endgroup$
  • $\begingroup$ You might find something you can use in this compilation of computer algebra errors: mathoverflow.net/questions/11517/computer-algebra-errors $\endgroup$ – Gerry Myerson May 23 '18 at 23:24
  • $\begingroup$ "of real-valued functions" of one variable or of several variables? $\endgroup$ – fedja May 24 '18 at 2:25
  • $\begingroup$ Univariate. You're right, I should, of course, have mentioned that. $\endgroup$ – Manuel Eberl May 24 '18 at 6:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.