Re: [Axiom-developer] Symbolic Algorithms Standards

[Burcin Erocal]

Hi,

On Wed, 20 Aug 2014 11:38:36 +0200
Zimmermann Paul <address@hidden> wrote:

> 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']

There is a prototype implementation of this here:

http://trac.sagemath.org/ticket/3317

You can find some examples of usage in this old draft:

http://www.lmona.de/citeme/citation_report.pre.pdf/at_download/file



Searching through the Sage issue tracker, I found that this ticket
attempts to do the same with a similar approach to the way
get_systems() work:

http://trac.sagemath.org/ticket/16854


Best,
Burcin