home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / math / symbolic / 2217 < prev    next >
Encoding:
Text File  |  1992-08-17  |  2.2 KB  |  52 lines
  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!gatech!gsusgi1.gsu.edu!gsusgi1.gsu.edu!qmdbms
  3. From: qmdbms@gsusgi2.gsu.edu (Brian Schott)
  4. Subject: Can Theorist prove theorems?
  5. Message-ID: <qmdbms.714071018@gsusgi1.gsu.edu>
  6. Keywords: symbolic theorem proving
  7. Organization: Georgia State University
  8. Date: Mon, 17 Aug 1992 17:03:38 GMT
  9. Lines: 41
  10.  
  11.  
  12. Below is a Theorist session which I Copied into the clipboard
  13. and pasted directly into a text file for upload to post here.
  14. If you are working from a Macintosh, I believe you can reverse
  15. this process and see what I have been doing.
  16.  
  17. (BTW, while I was copying the clipboard into this post, I got several
  18. beeps because some of the characters are invisible.  I hope this does
  19. not mess up the transfer.) 
  20.  
  21. TV?fnormal POISp0 0 V?fnormal poisp0 0 V?cnormal mp0 0 V?vnormal Bp0 0 V?vnormal xp0 0 V?vnormal np0 0 V?c0 0p0 0 V?ce ep0 0 Ht?s@?n    0*?r^?s/?s!    S(-?s@0    ?n*?r^?s/?s!+e^?r,(?n>0);e^?r,(?n<=0))p0 0 
  22. pois((?n,?x))=e^(-?x)*?x^?n/?n!p0 0 dQ14 268 33 22 POIS((?n,?x))=n@0    ?n*pois((n,?x))      p0 0 HtPOIS((?n,?x))    n@0    ?n*pois((n,?x))p0 0 
  23. POIS((1,0.2))p0 0 
  24. POIS((1,0.2))=n@0    1*pois((n,0.2))p0 1 
  25. POIS((1,0.2))=pois((1,0.2))+pois((0,0.2))p0 2 
  26. POIS((1,0.2))=0.9824769036935782305p0 3 
  27. POIS((n,m))p0 0 
  28. POIS((2,0.2))p0 0 
  29. POIS((2,0.2))=n@0    2*pois((n,0.2))p0 1 
  30. POIS((2,0.2))=0.9988515187551378677p0 2 
  31. POIS((0,0.2))p0 0 tp0 0 
  32.  
  33.  
  34. My question is the following.  I would like to demonstrate 
  35. that the Poisson function is a pdf in the sense that it sums 
  36. to 1. Whereas I have been successfull in computing cumulative 
  37. probabilities for the Poisson distribution when I supply 
  38. constants for the variable and the parameter, Theorist seems 
  39. to ignore me when I leave the variable and parameter as names 
  40. and request a Transformation, Expand, Calculate, etc.  
  41.  
  42. Can this be done in Theorist?  BTW, I am working with 
  43. version 1.0. I would like to encourage my students to use 
  44. Theorist if this is possible.
  45.  
  46. (B=)
  47. -- 
  48. Brian Schott/Decision Sciences Dept.             qmdbms@gsusgi2.gsu.edu
  49. College of Business Administration                         404-651-4070
  50. Georgia State University                  interests: approx. reasoning,
  51. Atlanta, Georgia USA 30303-3083     (B=)       decision support systems
  52.