ADEPT, a heuristic program for proving theorems of group theory:
A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This pr...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
Mass. Inst. of Technology
1966
|
| Schlagworte: | |
| Zusammenfassung: | A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. (Author). |
| Beschreibung: | Zugl.: Cambridge, Mass., Univ., Diss., 1966. - Als Kopie ersch. bei Clearinghouse |
| Beschreibung: | 178 Bl. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021879464 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t | ||
| 008 | 880725s1966 |||| 00||| eng d | ||
| 035 | |a (OCoLC)227435675 | ||
| 035 | |a (DE-599)BVBBV021879464 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MAC-TR-33 | ||
| 100 | 1 | |a Norton, Lewis M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a ADEPT, a heuristic program for proving theorems of group theory |
| 264 | 1 | |a Cambridge, Mass. |b Mass. Inst. of Technology |c 1966 | |
| 300 | |a 178 Bl. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zugl.: Cambridge, Mass., Univ., Diss., 1966. - Als Kopie ersch. bei Clearinghouse | ||
| 520 | 3 | |a A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. (Author). | |
| 650 | 7 | |a (Computer programs |2 dtict | |
| 650 | 7 | |a (Theorems |2 dtict | |
| 650 | 7 | |a Artificial intelligence |2 dtict | |
| 650 | 7 | |a Computer Hardware |2 scgdst | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Computer Systems |2 scgdst | |
| 650 | 7 | |a Digital computers |2 dtict | |
| 650 | 7 | |a Groups(mathematics)) |2 dtict | |
| 650 | 7 | |a Mathematical logic |2 dtict | |
| 650 | 7 | |a Real time |2 dtict | |
| 650 | 7 | |a Theoretical Mathematics |2 scgdst | |
| 650 | 7 | |a Theses |2 dtict | |
| 650 | 7 | |a Time sharing |2 dtict | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Nichtnumerische Datenverarbeitung |0 (DE-588)4171777-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweisführung |0 (DE-588)4227233-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gruppentheorie |0 (DE-588)4072157-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Gruppentheorie |0 (DE-588)4072157-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweisführung |0 (DE-588)4227233-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Nichtnumerische Datenverarbeitung |0 (DE-588)4171777-6 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015094940 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135819540168704 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Norton, Lewis M. |
| author_facet | Norton, Lewis M. |
| author_role | aut |
| author_sort | Norton, Lewis M. |
| author_variant | l m n lm lmn |
| building | Verbundindex |
| bvnumber | BV021879464 |
| ctrlnum | (OCoLC)227435675 (DE-599)BVBBV021879464 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02946nam a2200589zc 4500</leader><controlfield tag="001">BV021879464</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040229000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880725s1966 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227435675</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021879464</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MAC-TR-33</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Norton, Lewis M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ADEPT, a heuristic program for proving theorems of group theory</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Mass. Inst. of Technology</subfield><subfield code="c">1966</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">178 Bl.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Cambridge, Mass., Univ., Diss., 1966. - Als Kopie ersch. bei Clearinghouse</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. (Author).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">(Computer programs</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">(Theorems</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Hardware</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Programming and Software</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Systems</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Digital computers</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Groups(mathematics))</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematical logic</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Real time</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Theoretical Mathematics</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Theses</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Time sharing</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtnumerische Datenverarbeitung</subfield><subfield code="0">(DE-588)4171777-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweisführung</subfield><subfield code="0">(DE-588)4227233-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Beweisführung</subfield><subfield code="0">(DE-588)4227233-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Nichtnumerische Datenverarbeitung</subfield><subfield code="0">(DE-588)4171777-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015094940</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021879464 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:42Z |
| indexdate | 2024-07-09T20:46:34Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015094940 |
| oclc_num | 227435675 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 178 Bl. |
| publishDate | 1966 |
| publishDateSearch | 1966 |
| publishDateSort | 1966 |
| publisher | Mass. Inst. of Technology |
| record_format | marc |
| spelling | Norton, Lewis M. Verfasser aut ADEPT, a heuristic program for proving theorems of group theory Cambridge, Mass. Mass. Inst. of Technology 1966 178 Bl. txt rdacontent n rdamedia nc rdacarrier Zugl.: Cambridge, Mass., Univ., Diss., 1966. - Als Kopie ersch. bei Clearinghouse A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. (Author). (Computer programs dtict (Theorems dtict Artificial intelligence dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Digital computers dtict Groups(mathematics)) dtict Mathematical logic dtict Real time dtict Theoretical Mathematics scgdst Theses dtict Time sharing dtict Künstliche Intelligenz Nichtnumerische Datenverarbeitung (DE-588)4171777-6 gnd rswk-swf Beweisführung (DE-588)4227233-6 gnd rswk-swf Gruppentheorie (DE-588)4072157-7 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Gruppentheorie (DE-588)4072157-7 s DE-604 Beweisführung (DE-588)4227233-6 s Nichtnumerische Datenverarbeitung (DE-588)4171777-6 s 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Norton, Lewis M. ADEPT, a heuristic program for proving theorems of group theory (Computer programs dtict (Theorems dtict Artificial intelligence dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Digital computers dtict Groups(mathematics)) dtict Mathematical logic dtict Real time dtict Theoretical Mathematics scgdst Theses dtict Time sharing dtict Künstliche Intelligenz Nichtnumerische Datenverarbeitung (DE-588)4171777-6 gnd Beweisführung (DE-588)4227233-6 gnd Gruppentheorie (DE-588)4072157-7 gnd |
| subject_GND | (DE-588)4171777-6 (DE-588)4227233-6 (DE-588)4072157-7 (DE-588)4113937-9 |
| title | ADEPT, a heuristic program for proving theorems of group theory |
| title_auth | ADEPT, a heuristic program for proving theorems of group theory |
| title_exact_search | ADEPT, a heuristic program for proving theorems of group theory |
| title_exact_search_txtP | ADEPT, a heuristic program for proving theorems of group theory |
| title_full | ADEPT, a heuristic program for proving theorems of group theory |
| title_fullStr | ADEPT, a heuristic program for proving theorems of group theory |
| title_full_unstemmed | ADEPT, a heuristic program for proving theorems of group theory |
| title_short | ADEPT, a heuristic program for proving theorems of group theory |
| title_sort | adept a heuristic program for proving theorems of group theory |
| topic | (Computer programs dtict (Theorems dtict Artificial intelligence dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Digital computers dtict Groups(mathematics)) dtict Mathematical logic dtict Real time dtict Theoretical Mathematics scgdst Theses dtict Time sharing dtict Künstliche Intelligenz Nichtnumerische Datenverarbeitung (DE-588)4171777-6 gnd Beweisführung (DE-588)4227233-6 gnd Gruppentheorie (DE-588)4072157-7 gnd |
| topic_facet | (Computer programs (Theorems Artificial intelligence Computer Hardware Computer Programming and Software Computer Systems Digital computers Groups(mathematics)) Mathematical logic Real time Theoretical Mathematics Theses Time sharing Künstliche Intelligenz Nichtnumerische Datenverarbeitung Beweisführung Gruppentheorie Hochschulschrift |
| work_keys_str_mv | AT nortonlewism adeptaheuristicprogramforprovingtheoremsofgrouptheory |