Re: [Axiom-developer] Symbolic Algorithms Standards

[Zimmermann Paul]

       Dear Tim,

nice to hear from you!

> From: Tim Daly <address@hidden>
> Cc: address@hidden, address@hidden,
>    Vinton Cerf <address@hidden>, Raoul Bourquin <address@hidden>,
>    "Ralf Hemmecke" <address@hidden>, "Barry Trager" <address@hidden>
> Date: Sat,  9 Aug 2014 22:54:14 -0400 (EDT)
> 
> The time has come, it seems to me, to organize an effort to
> collect and standardize symbolic algorithms, similar in spirit
> to the NIST Handbook of Mathematical Functions.
> 
> It should be possible to order algorithm development for things
> like integration, starting with Liouville's work, then Risch, etc.
> The idea is to provide the algorithm and a series of improvements
> in some reasonably accessible pseudocode, perhaps with some
> agreed-upon benchmark of time and space complexity. There should
> also be an associated website with a cache of the papers for each
> algorithm. The book would be updated yearly with new developments.
> 
> I have been collecting bibliographic references as part of the 
> Axiom project and have recently started organizing them by topic.
> http://axiom-developer.org/axiom-website/bookvolbib.pdf
> 
> Is a NIST-like algorithm collection reasonable? Opinions welcome.
> 
> Tim Daly
> address@hidden

not sure about an old-fashioned paper version. Most likely it would be
very soon outdated.

A wikipedia-like collection would be nice, where everybody could contribute,
discuss, add pointers, ...

Note we already have the Collected Algorithms from the ACM:
http://calgo.acm.org/.

Also in Sage you have the related "get_systems" command, which tells you
which systems were used when you perform a computation:

sage: from sage.misc.citation import get_systems
sage: get_systems('random_matrix(ZZ,250).determinant()')
['MPFR', 'GMP']

We could imagine a similar "get_algorithms" command:

sage: get_algorithms('integrate(1/tan(1+x), x)')
['Risch', 'Liouville', 'arxiv079645', 'http://hal.inria.fr/hal-00644166']

Best regards,
Paul