AXIOM had once the first implementation of a decisive algorithm (Risch algorithm) to integrate elementary functions or prove that no elementary integral exists. This is due to Barry Trager and Manuel Bronstein (the latter passed away too early 6 years ago) Hence, there is not a thing like a "knowledge base" for integration, but a decision procedure.
Meanwhile other systems seemed to manage to "integrate" algorithmic and knowledge base approaches. The question is whether AXIOM wants to go the same way or to continue the algorithmic work of Bronstein? (cf. his book on Symbolic Intgeration Part I Transcendental functions). Part II on algebraic functions will never be written. Am 23.04.2011 um 10:16 schrieb Juan Jose Garcia-Ripoll: > El viernes 8 de abril de 2011 18:42:18 UTC+2, Waldek Hebisch escribió: > FriCAS gives "failed" because it currently can not compute > limit of 'erf'. You can work around such problem by > computing > > How difficult is it to "extend" FriCAS's knowledge base? I have found myself > at trouble with various integrals, which after playing with Mathematica I > learned they were defined in terms of some special functions. Is it hard to > hook this knowledge back into FriCAS? Same goes for the erf limits and other > knowledge about special functions (HypergeometricF, DawsonF, Ei, etc etc) > > Juanjo > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/fricas-devel?hl=en. Mit freundlichen Grüßen Johannes Grabmeier Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-171-5503789 Tel. +49-(0)-991-3615-100 (d), Fax: +49-(0)-1803-5518-17745 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
