List of works - Jose Divasón - Paulina

List of works by Jose Divasón

<i>In vitro</i> maintenance of drones and development of a new software for sperm quality analysis facilitate the study of honey bee reproductive quality

scientific article published in 2023

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm

scientific article published on 17 June 2019

Artificial Intelligence Models for Assessing the Evaluation Process of Complex Student Projects

scientific article published in October 2023

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL

scientific article published on 09 June 2020

Sensitivity analysis of discrete preference functions using Koszul simplicial complexes

scientific article published on 05 July 2023

Paulina is supported by:

About Paulina

Help