[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Symbolic Algorithms Standards
From: |
Zimmermann Paul |
Subject: |
Re: [Axiom-developer] Symbolic Algorithms Standards |
Date: |
Wed, 20 Aug 2014 11:38:36 +0200 |
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