Zobrazeno 1 - 10
of 86
pro vyhledávání: '"Automatic deduction"'
Autor:
Zijian Wang, Xinhui Shao
Publikováno v:
AIMS Mathematics, Vol 8, Iss 8, Pp 18278-18294 (2023)
In this article, a new type of generalized, self-evolving and efficient automated statement proof algorithm based on new data structures, i.e., brackets and map graphs, and new algorithms is presented. The brackets structure provides an elegant low-k
Externí odkaz:
https://doaj.org/article/3a829fd047794a3baefed00fa886345a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Antonio Montes
Publikováno v:
Mathematics in Computer Science. 14:471-482
The aim of this paper is to present the research book “The Grobner Cover” Montes (The Grobner Cover, ACM-series, Springer, Berlin, 2019) recently published. This book is divided into two parts, one theoretical and one focusing on applications, an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c38aa522bc3dcfbe500826ee5c7022ef
https://doi.org/10.1007/s11786-019-00438-z
https://doi.org/10.1007/s11786-019-00438-z
Publikováno v:
Advances in Computational Mathematics. 45:1881-1895
The authors developed some time ago a RBES devoted to preparing personalized menus at restaurants according to the allergies, religious constraints, likes, and other diet requirements as well as products availability. This can be specially important
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9614328282f1510f0d2889ef9ec72383
https://doi.org/10.1007/s10444-019-09665-1
https://doi.org/10.1007/s10444-019-09665-1
Publikováno v:
Journal of Shanghai Jiaotong University (Science). 21:443-449
As an army main battle equipment, it is required that the tank should have high firing accuracy and high first round hit probability during marching. The initial disturbance of the projectile is the premier factor that takes effect on the marching fi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e11fa65e7f74a8e9e9a102cf1e3996ee
https://doi.org/10.1007/s12204-016-1744-x
https://doi.org/10.1007/s12204-016-1744-x
Autor:
Francisco Botana, Miguel A. Abánades
Publikováno v:
Computational Geometry, Vol. 47, Iss. 1, Pp. 75–89, (2014)
UCrea Repositorio Abierto de la Universidad de Cantabria
Universidad de Cantabria (UC)
UCrea Repositorio Abierto de la Universidad de Cantabria
Universidad de Cantabria (UC)
A symbolic tool based on open source software that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction is presented. The prototype has been developed as two different worksheets for the open sourc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53ac986627da47d98ea91580f48953f7
https://doi.org/10.1016/j.comgeo.2013.07.001
https://doi.org/10.1016/j.comgeo.2013.07.001
Autor:
Owen Dyer
Publikováno v:
BMJ (Clinical research ed.). 362
One of Japan’s leading medical schools has been automatically reducing the entrance exam scores of female applicants by 20% for at least 12 years to graduate more male doctors, an independent inquiry has found. Tokyo Medical University’s acting p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49ac6091afb532271fbeb2cdf048bc1d
https://pubmed.ncbi.nlm.nih.gov/30089665
https://pubmed.ncbi.nlm.nih.gov/30089665
Autor:
Antonio Montes
Publikováno v:
The Gröbner Cover ISBN: 9783030039035
A first natural and interesting application of the Grobner Cover is to Automatic Deduction of Geometric Theorems (ADGT).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58bdbd7e51af46abbf21c63adac5f91e
https://doi.org/10.1007/978-3-030-03904-2_6
https://doi.org/10.1007/978-3-030-03904-2_6
Autor:
Pedro Quaresma
Publikováno v:
Artificial Intelligence and Symbolic Computation ISBN: 9783319999562
AISC
AISC
The pursuit of an AI Geometry Book should involve the study of how currently developing methodologies and technologies of geometry knowledge representation, management, deduction and discovery can be incorporated effectively into a computational appl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60fa55efffdfab6c7e1eecabdfd17439
https://doi.org/10.1007/978-3-319-99957-9_16
https://doi.org/10.1007/978-3-319-99957-9_16
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.