[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Symbolic Algorithms Standards
From: |
Burcin Erocal |
Subject: |
Re: [Axiom-developer] Symbolic Algorithms Standards |
Date: |
Thu, 21 Aug 2014 11:52:24 +0200 |
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