> On May 2, 2014, at 11:23 PM, "Ondřej Čertík" <[email protected]> wrote: > > Hi Richard, > >> On Fri, May 2, 2014 at 5:32 PM, Richard Fateman <[email protected]> wrote: >> I think your arguments are weak, though given the audience, perhaps they >> would be appealing. >> >> Here's what I think constitute good arguments for people to know about CAS. >> Maybe even sympy. >> >> 1. Scientists, mathematicians and programmers all have a rich language and >> context for >> discussing the solution of difficult problems. Users of traditional >> numerical computation >> much couch their solutions in terms of objects that are floating-point >> numbers or collections of >> them such as matrices >> >> 2. Symbolic computation allows for a much broader class of objects, and >> supports >> the manipulation of formulas, algebraic equations, >> differential equations, series, geometric descriptions, and more. >> >> As a simple example, solution of the quadratic equation in s, >> s^2+(a/n)*(n^2-1)*s -a^2=0 >> can be easily expressed, and trivially solved in a CAS to find the solutions >> s=-a*n and s=a/n. >> The presence of extra parameters (a,n) in the problem and the solution would >> pose difficulties >> for a numeric solution. >> >> 3. Many algorithms of applied mathematics, usually portrayed in references >> and texts as appropriate >> for "hand calculation" can in fact be encoded in symbolic form, using >> formulas as input and output. >> Famously, these include symbolic integration, differentiation, expansion in >> series, summation. >> >> 4. Routines may be written which, through symbolic manipulation, produce >> specialized versions >> of algorithms tailored to tasks which themselves be numeric, but whose >> programming "by hand" >> would be too laborious and error-prone to seriously consider. As examples, >> super-accurate >> programs for scientific subroutine libraries have been developed. >> >> 5. CAS can be used to symbolically execute and prove the correctness of >> algorithms that >> might otherwise be challenges to understand. >> >> 6. And more... > > Thanks for the points. I agree with them. > > Aaron, I think lots of talks were rejected from this year's SciPy > conference. Are you going to prepare a poster?
Probably, if I have time. Help is appreciated. Also I have no idea how to do that. Aaron Meurer > > Ondrej > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/CADDwiVBGTnrK_Dqr2NXH3B-QRWFwO69Tezu4UZaUwTKV4m%2Bvrw%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/-7030084753712984808%40unknownmsgid. For more options, visit https://groups.google.com/d/optout.
