Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6123Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | Maurer, W.D. | - |
| dc.date | 2004-10-04T14:40:04Z | - |
| dc.date | 2004-10-04T14:40:04Z | - |
| dc.date | 1965-12-01 | - |
| dc.date.accessioned | 2013-10-09T02:43:08Z | - |
| dc.date.available | 2013-10-09T02:43:08Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AIM-089b | - |
| dc.identifier | http://hdl.handle.net/1721.1/6123 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.description | In a previous memo (Computer Experiments in Finite Algebra, MAC-M-245) we described a computer system for the handling of finite groups, semigroups, subsets, finite maps, and constants. This system has been extended to read and write disk files; a mechanical procedure has been developed for extending the system; and a program (the inferential Compiler) has been written which accepts a source language consisting of mathematical statements in a standard format and compiles code which verifies these statements over a file or files of special cases (including possible counterexamples). Three limitations of the system were mentioned in the previous memo. Of these, (1) and (3) have been effectively eliminated in the current system. Limitation (2) still exists and will be overcome only in ALGEBRA III, which is briefly described in section 4. | - |
| dc.format | 15515630 bytes | - |
| dc.format | 1128576 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AIM-089b | - |
| dc.title | Computer Experiments in Finite Algebra-II | - |
| Appears in Collections: | MIT Items | |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.