home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 8,726 of 10,432   
   Nasser M. Abbasi to All   
   on use of pattern matching for CAS solvi   
   08 Jan 15 02:02:18   
   
   From: nma@12000.org   
      
   Interesting paper, old but I found it fun to read, I thought   
   some might like to read it too:   
      
   http://dl.acm.org/citation.cfm?id=321193   
      
   "A Heuristic Program that Solves Symbolic Integration   
   Problems in Freshman Calculus" by JAMES R. SLAGLE, MIT.   
      
   "Based on this and other experiments with SAINT, some conclusions   
   concerning computer solution of such problems   
   are:   
   (1) Pattern recognition is of fundamental importance.   
   (2) Great benefit would have been derived from a larger   
   memory and more convenient symbol manipulating facilities.   
   (3) The solution of a symbolic integration problem by a   
   commercially available computer is far cheaper and faster than by man."   
      
   This was written in 1963 !   
      
   I liked the way they explained how the program SAINT went   
   though solving some integrals explaining what it did   
   at each step.   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca