1 resultado para Special Operations Group (Vic)
em Massachusetts Institute of Technology
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (1)
- Adam Mickiewicz University Repository (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Applied Math and Science Education Repository - Washington - USA (1)
- Aquatic Commons (7)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (18)
- Aston University Research Archive (24)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (15)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (8)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (20)
- Brock University, Canada (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (4)
- Cambridge University Engineering Department Publications Database (10)
- CentAUR: Central Archive University of Reading - UK (20)
- Central European University - Research Support Scheme (2)
- Centro Hospitalar do Porto (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (9)
- Cochin University of Science & Technology (CUSAT), India (11)
- Coffee Science - Universidade Federal de Lavras (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (4)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (3)
- CUNY Academic Works (12)
- Deakin Research Online - Australia (38)
- Digital Commons - Michigan Tech (1)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (3)
- DigitalCommons@The Texas Medical Center (4)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Duke University (2)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (1)
- Greenwich Academic Literature Archive - UK (4)
- Helda - Digital Repository of University of Helsinki (12)
- Hospitais da Universidade de Coimbra (1)
- Indian Institute of Science - Bangalore - Índia (8)
- Instituto Politécnico do Porto, Portugal (1)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (2)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Ministerio de Cultura, Spain (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (3)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (4)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (18)
- Queensland University of Technology - ePrints Archive (530)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (1)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório Institucional dos Hospitais da Universidade Coimbra (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (9)
- Scielo España (1)
- Universidad del Rosario, Colombia (6)
- Universidad Politécnica de Madrid (6)
- Universidade Complutense de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Pará (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Montréal, Canada (2)
- University of Michigan (67)
- University of Queensland eSpace - Australia (13)
- University of Washington (2)
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.