home *** CD-ROM | disk | FTP | other *** search
/ Math Solutions 1995 October / Math_Solutions_CD-ROM_Walnut_Creek_October_1995.iso / pc / _bbs / sf / sffiles.24 < prev    next >
Encoding:
File List  |  1995-08-13  |  990 b   |  17 lines
  1. Math Solutions CDROM, August 1995. Walnut Creek CDROM.
  2. ------------------------------------------------------
  3. Discrete Mathematics
  4. path: \msdos\discrete 
  5. Name             Size    Date    Description  
  6. ------------     ----    ----    ---------------------
  7. catbox1.zip 1,262,866  02-03-92  A collection of 11 programs mostly concerned with graph theory. Disk 1/2
  8. catbox2.zip 1,434,743  06-04-93  A collection of 11 programs mostly concerned with graph theory. Disk 2/2
  9. isetl.zip     136,778  09-03-91  Interactive math. language based on sets.
  10. isetldoc.zip   37,885  07-21-92  Documentation for isetl.zip.
  11. isetlsrc.zip  193,854  06-07-92  Source code for isetl.zip.
  12. jkpropc.zip    46,218  06-20-94  Propositional Logic Program.
  13. jkxpres.zip   100,932  10-16-94  Extended Precision Integers.
  14. truth.zip     125,457  09-15-92  Generates truth tables.
  15. venn.zip      173,238  09-15-92  Displays Venn diagrams.
  16. voting.zip    129,394  09-15-92  Illustrations of four voting schemes.
  17.