<div class="csl-bib-body">
<div class="csl-entry">Sauras Altuzarra, L. (2022). Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers. <i>Journal of Logic and Computation</i>, 1199–1209. https://doi.org/10.1093/logcom/exac056</div>
</div>
-
dc.identifier.issn
0955-792X
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/193555
-
dc.description.abstract
This paper revisits a method of generalization of proofs of universal sentences that was introduced by Baaz and provides several applications to the study of the factors of Fermat numbers; remarkably an improvement of his sufficient condition for a given value to be one of such factors.
en
dc.language.iso
en
-
dc.publisher
OXFORD UNIV PRESS
-
dc.relation.ispartof
Journal of Logic and Computation
-
dc.subject
Fermat prime
en
dc.subject
Pépin’s test
en
dc.subject
proof analysis
en
dc.subject
proof generalization
en
dc.subject
proof mining
en
dc.subject
universal formula
en
dc.title
Some applications of Baaz's generalization method to the study of the factors of Fermat numbers
en
dc.type
Article
en
dc.type
Artikel
de
dc.description.startpage
1199
-
dc.description.endpage
1209
-
dc.type.category
Original Research Article
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Journal of Logic and Computation
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publisher.doi
10.1093/logcom/exac056
-
dc.date.onlinefirst
2022-09-30
-
dc.identifier.eissn
1465-363X
-
dc.description.numberOfPages
11
-
tuw.author.orcid
0000-0001-6893-7463
-
wb.sci
true
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
100
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.languageiso639-1
en
-
item.openairetype
research article
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.orcid
0000-0001-6893-7463
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
