Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Lorenzo Sauras-Altuzarra"'
Publikováno v:
Examples and Counterexamples, Vol 5, Iss , Pp 100136- (2024)
As proved by Marchenkov and Mazzanti, every Kalmar function can be represented by arithmetic terms. We display one of such terms to represent the factorial function, and as a consequence, we get an example of an arithmetic term which represents a fun
Externí odkaz:
https://doaj.org/article/a730c2641aaa4f81804feb2e189b62ba
Autor:
Lorenzo Sauras Altuzarra
Publikováno v:
Journal of Logic and Computation.
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 g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af4a1461d0859d8856462fd308969bf9
https://doi.org/10.1093/logcom/exac056
https://doi.org/10.1093/logcom/exac056
Autor:
Lorenzo Sauras Altuzarra
Publikováno v:
The Art of Discrete and Applied Mathematics. 6:#P2.05
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d45a89350b4d05ea210737357cc4d969
https://doi.org/10.26493/2590-9770.1473.ec5
https://doi.org/10.26493/2590-9770.1473.ec5