Zobrazeno 1 - 7
of 7
pro vyhledávání: '"de Lima, Thaynara Arielly"'
Autor:
de Lima, Thaynara Arielly, Avelar, Andréia Borges, Galdino, André Luiz, Ayala-Rincón, Mauricio
Publikováno v:
EPTCS 402, 2024, pp. 18-33
This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that are general
Externí odkaz:
http://arxiv.org/abs/2404.14920
Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired algorithms (BAs) in their islands. From a variety of communication topologies and migration policies fine-tuned for homogeneous PIMs (HoPIMs), which run the same BA in all their
Externí odkaz:
http://arxiv.org/abs/2205.02916
Publikováno v:
EPTCS 328, 2020, pp. 1-17
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through shor
Externí odkaz:
http://arxiv.org/abs/2010.16013
Publikováno v:
In Discrete Applied Mathematics 30 January 2018 235:59-80
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.
Publikováno v:
2012 7th Colombian Computing Congress (CCC); 1/ 1/2012, p1-6, 6p
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.