Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,843,155 papers from all fields of science
Search
Sign In
Create Free Account
Automated Mathematician
Known as:
AM
The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Douglas Lenat in Lisp, and in 1977 led to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Broader (1)
Artificial intelligence
Automated theorem proving
Computer-assisted proof
Discovery system
Eurisko
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Potential biosurfactant producing endophytic and epiphytic fungi, isolated from macrophytes in the Negro River in Manaus, Amazonas, Brazil
J. Lima
,
J. Pereira
,
+6 authors
J. Azevedo
2016
Corpus ID: 62895583
Endophytic and epiphytic fungi isolated from Eichhornia crassipes (Mart.) Solms and Cyperus ligularis L., macrophytes collected…
Expand
2016
2016
Melhoria da Prevenção e Detecção Precoce do Câncer de Colo de Útero e Câncer de Mama na UBS/USF Dr. Albino Couto, São Gabriel da Cachoeira, AM
R. Riera
2016
Corpus ID: 194722092
2015
2015
Physiology and genetic architecture of traits associated with cadmium tolerance and accumulation in Populus nigra L.
Valentina Iori
,
M. Gaudet
,
+7 authors
M. Sabatti
Trees
2015
Corpus ID: 254028177
Heavy metal tolerance and accumulation suggest that Populus nigrais suitable for phytoremediation. QTL mapping revealed the…
Expand
2014
2014
An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare
Paulo Shakarian
,
Gerardo I. Simari
,
Geoffrey Moores
,
S. Parsons
,
Marcelo A. Falappa
arXiv.org
2014
Corpus ID: 11949376
Attributing a cyber-operation through the use of multiple pieces of technical evidence (i.e., malware reverse-engineering and…
Expand
2014
2014
Genetic evaluation of the growth of beef bulls at a performance test station.
L. Vostrý
,
Z. Veselá
,
E. Krupa
2014
Corpus ID: 54809543
For accurate evaluation of the growth ability of bulls, it is necessary to determine the significant effects influencing the…
Expand
2013
2013
Publicity and the Courts of Classical Athens
J. aiken
2013
Corpus ID: 32518906
2012
2012
INFLUÊNCIA DO MATERIAL PARTICULADO (PM2.5) DE QUEIMADAS E VARIÁVEIS METEOROLÓGICAS NA MORBIDADE RESPIRATÓRIA DE CRIANÇAS EM MANAUS, AM
V. S. Andrade
,
P. Artaxo
,
S. Hacon
,
Cleber Nascimento do Carmo
2012
Corpus ID: 163506591
O estudo teve como objetivo investigar a relacao entre a exposicao ao material particulado fino (PM2.5) emitido em queimadas e as…
Expand
2011
2011
Tecnologia social e extensão universitária: análise da organização do trabalho da ARPA em Manaus/AM
A. L. Coelho
2011
Corpus ID: 149424205
A crise ambiental decorrente da logica produtiva capitalista, que foi materializada nas atitudes destrutivas do homem em relacao…
Expand
2009
2009
Presença de anticorpos lgG anti-Neospora caninum e anti-Toxoplasma gondii em búfalas criadas no estado do Pará, Brasil
Sandro Patroca da Silva
2009
Corpus ID: 170334123
Com o objetivo de verificar a ocorrencia de bufalas sororreagentes para Neospora caninum e Toxoplasma gondii em 15 unidades…
Expand
1986
1986
Competency for Execution: Problems in Law and Psychiatry
B. Ward
1986
Corpus ID: 56240776