1 resultado para work group identification
em Massachusetts Institute of Technology
Filtro por publicador
- KUPS-Datenbank - Universität zu Köln - Kölner UniversitätsPublikationsServer (1)
- Repository Napier (1)
- University of Cagliari UniCA Eprints (1)
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (3)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Applied Math and Science Education Repository - Washington - USA (1)
- Aquatic Commons (11)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (3)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (6)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (9)
- Aston University Research Archive (25)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Biblioteca Digital de la Universidad Católica Argentina (2)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (14)
- Bioline International (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (5)
- Boston University Digital Common (1)
- Brock University, Canada (14)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CaltechTHESIS (4)
- Cambridge University Engineering Department Publications Database (9)
- CentAUR: Central Archive University of Reading - UK (10)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (29)
- Cochin University of Science & Technology (CUSAT), India (10)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (9)
- CORA - Cork Open Research Archive - University College Cork - Ireland (4)
- Deakin Research Online - Australia (22)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons at Florida International University (7)
- Digital Peer Publishing (2)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (3)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (14)
- Greenwich Academic Literature Archive - UK (2)
- Helda - Digital Repository of University of Helsinki (28)
- Indian Institute of Science - Bangalore - Índia (31)
- Instituto Politécnico de Viseu (1)
- Instituto Politécnico do Porto, Portugal (7)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (6)
- Ministerio de Cultura, Spain (2)
- National Center for Biotechnology Information - NCBI (1)
- Portal de Revistas Científicas Complutenses - Espanha (5)
- Publishing Network for Geoscientific & Environmental Data (14)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (74)
- Queensland University of Technology - ePrints Archive (249)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (3)
- Repositório Aberto da Universidade Aberta de Portugal (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (5)
- Repositório digital da Fundação Getúlio Vargas - FGV (3)
- Repositório Institucional da Universidade de Aveiro - Portugal (14)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (1)
- Repositorio Institucional de la Universidad Pública de Navarra - Espanha (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (14)
- Research Open Access Repository of the University of East London. (4)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (5)
- SAPIENTIA - Universidade do Algarve - Portugal (7)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
- Scielo España (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (15)
- Universidad Politécnica de Madrid (9)
- Universidade de Lisboa - Repositório Aberto (10)
- Universidade Federal do Pará (3)
- Universidade Federal do Rio Grande do Norte (UFRN) (6)
- Universidade Metodista de São Paulo (1)
- Universidade Técnica de Lisboa (1)
- Universitat de Girona, Spain (6)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (8)
- Université de Lausanne, Switzerland (3)
- Université de Montréal (1)
- Université de Montréal, Canada (41)
- University of Michigan (22)
- University of Queensland eSpace - Australia (38)
- University of Southampton, United Kingdom (30)
- University of Washington (3)
- WestminsterResearch - UK (5)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
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 operation 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.