Off topic: Good general sources about computational symbolic algebra

[Bill Bell]

Is there a place where all of the algorithms used in sympy are documented?

What other places can I look to understand similar algorithms?

Thanks for your help!

[Ralf Stephan]

That is a good question. Usually you can find open access papers for

named algorithms, try Google Scholar. Other implementations can be

found in other open source packages, the best bet would be Sage because

it *contains nearly all the other packages and is in Python as well.

Regards,

[Francesco Bonazzi]

On Saturday, 20 February 2016 18:12:39 UTC+1, Bill Bell wrote:

What other places can I look to understand similar algorithms?

https://reference.wolfram.com/language/tutorial/SomeNotesOnInternalImplementation.html
 

[Aaron Meurer]

There are different algorithms for different parts of SymPy. For
instance, symbolic integration has its own large set of algorithms and
literature on those algorithms (a subset of which are implemented in
SymPy). Some parts of SymPy don't have set algorithms, but are based
on some heuristics built by the SymPy developers (most of the sovlers
module is like this). Often things are just done more or less how you
would do them by hand. For those parts that do have literature on
algorithms, there are usually some references in the documentation or
in the code.

For a generic take, look for a book on computer algebra (I'm afraid I
can't recommend which ones are good, but possibly others can).

Aaron Meurer

> --
> You received this message because you are subscribed to the Google Groups
> "sympy" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sympy+un...@googlegroups.com.
> To post to this group, send email to sy...@googlegroups.com.
> Visit this group at https://groups.google.com/group/sympy.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/22b49051-a7cf-4db4-8844-df650ac63eae%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[Alan Bromborsky]

Suggestion -

Modern Computer Algebra by Joachim von zur Gathen and Jurgen Gerhard

https://www.researchgate.net/publication/220689743_Modern_computer_algebra_2_ed

To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6LP%2BMKtEztfoFVMMjj02og%3DEYyc6FQud80nj%2BxeYwWPvg%40mail.gmail.com.

[Fredrik Johansson]

On Monday, February 22, 2016 at 6:40:59 PM UTC+1, brombo wrote:

Suggestion -

Modern Computer Algebra by Joachim von zur Gathen and Jurgen Gerhard

https://www.researchgate.net/publication/220689743_Modern_computer_algebra_2_ed

This is one of the best general references.

Here are some good books that are freely available:

Petkovsek, Wilf and Zeilberger - A = B
https://www.math.upenn.edu/~wilf/Downld.html

Brent and Zimmermann - Modern Computer Arithmetic
http://www.loria.fr/~zimmerma/mca/pub226.html

Chyzak, Guisti, Olliver, Salvy and Schost - Algorithmes en calcul formel et automatique (in French)
http://perso.ens-lyon.fr/bruno.salvy/mpri/poly.pdf

Some good non-free books:

Cox, Little and O'Shea - Ideals, Varieties, and Algorithms

Cohen - A Course in Computational Algebraic Number Theory

Geddes, Czapor and Labahn - Algorithms for computer algebra

Fredrik

[Bill Bell]

Thanks, everybody!