Dear Tim, nice to hear from you!
> From: Tim Daly <[email protected]> > Cc: [email protected], [email protected], > Vinton Cerf <[email protected]>, Raoul Bourquin <[email protected]>, > "Ralf Hemmecke" <[email protected]>, "Barry Trager" <[email protected]> > 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 > [email protected] 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 _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
